{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:40:29Z","timestamp":1742600429628,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540610427"},{"type":"electronic","value":"9783540498742"}],"license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61042-1_53","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:11:37Z","timestamp":1330290697000},"page":"329-348","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":30,"title":["Extending promela and spin for real time"],"prefix":"10.1007","author":[{"given":"Stavros","family":"Tripakis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Costas","family":"Courcoubetis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"20_CR1","unstructured":"R. Alur. Techniques for Automatic Verification of Real-Time Systems. PhD thesis, Stanford University, 1991."},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, and D. Dill. Model-checking for real-time systems. In Proceedings of the 5th Symposium on Logic in Computer Science, pages 414\u2013425, Philadelphia, June 1990.","DOI":"10.1109\/LICS.1990.113766"},{"key":"20_CR3","unstructured":"R. Alur, C. Courcoubetis, D. Dill, N. Halbwachs, and H. Wong-Toi. An implementation of three algorithms for timing verification based on automata emptiness. In RTSS 1992, proceedings, 1992."},{"key":"20_CR4","unstructured":"R. Alur, C. Courcoubetis, D. Dill, N. Halbwachs, and H. Wong-Toi. Minimization of timed transition systems. In CONCUR 1992, proceedings. Lecture Notes in Computer Science, Springer-Verlag, 1992."},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"C. Courcoubetis, D. Dill, M. Chatzaki, and P. Tzounakis. Verification with real-time COSPAN. In Proceedings of the Fourth Workshop on Computer-Aided Verification, Lecture Notes in Computer Science. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-56496-9_22"},{"key":"20_CR6","volume-title":"Lecture Notes in Computer Science","author":"D. Dill","year":"1989","unstructured":"D. Dill. Timing assumptions and verification of finite-state concurrent systems. In Proc. Workshop on Computer Aided Verification, CAV89, Grenoble, June 1989. Lecture Notes in Computer Science, Springer-Verlag."},{"key":"20_CR7","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/0196-6774(82)90023-2","volume":"3","author":"Dolev","year":"1982","unstructured":"Dolev, Klawe, and Rodeh. An O(n log n) unidirectional distributed algorithm for extrema finding in a circle. J. of Algs, 3:245\u2013260, 1982.","journal-title":"J. of Algs"},{"key":"20_CR8","unstructured":"G.J. Holzmann. Design and Validation of Protocols. Prentice-Hall, 1990."},{"key":"20_CR9","unstructured":"G.J. Holzmann. Basic spin manual. Technical report, AT&T, Bell Laboratories, 1994."},{"key":"20_CR10","unstructured":"G.J. Holzmann. What's new in spin. Technical report, AT&T, Bell Laboratories, 1995."},{"key":"20_CR11","unstructured":"G.J. Holzmann and Doron A. Peled. An improvement in formal verification. In Proceedings of the 7th International Conference on Formal Description Techniques, FORTE94, Berne, Switcherland, October 1994."},{"issue":"8","key":"20_CR12","first-page":"1265","volume":"9","author":"M. Katevenis","year":"1991","unstructured":"M. Katevenis, S. Sidiropoulos, and C. Courcoubetis. Weighted round-robin cell multiplexing in a general purpose ATM switch chip. IEEE JSAC, 9(8):1265\u20131279, 1991.","journal-title":"IEEE JSAC"},{"key":"20_CR13","unstructured":"J. Katzenelson and B. Kurshan. S\/r: A language for specifying protocols and other coordinating processes. In Proc. 5th Ann. Int'l Phoenix Conf. Comput. Commun., IEEE, 1986."},{"key":"20_CR14","unstructured":"N. Lambrogeorgos. Verification of real-time systems: a case study of discrete and dense time models, 1993. Available only in greek."},{"issue":"1","key":"20_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/7351.7352","volume":"5","author":"L. Lamport","year":"1987","unstructured":"L. Lamport. A fast mutual exclusion algorithm. ACM Transactions on Computer Systems, 5(1):1\u201311, 1987.","journal-title":"ACM Transactions on Computer Systems"},{"key":"20_CR16","doi-asserted-by":"crossref","unstructured":"Doron A. Peled. Combining partial order reductions with on-the-fly model checking. In Proceedings of the 6th International Conference on Comptuter Aided Verification, CAV94, Stanford, California, june 1994.","DOI":"10.1007\/3-540-58179-0_69"},{"key":"20_CR17","unstructured":"S. Sidiropoulos. A general purpose ATM switch. architecture and feasibility study, 1991."},{"key":"20_CR18","unstructured":"P. Tzounakis. Verification of real time systems: The extension of COSPAN in dense time, 1992."}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61042-1_53","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:12:53Z","timestamp":1742598773000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61042-1_53"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540610427","9783540498742"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-61042-1_53","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]},"assertion":[{"value":"2 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}