{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:23:27Z","timestamp":1725488607469},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540672821"},{"type":"electronic","value":"9783540464198"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46419-0_9","type":"book-chapter","created":{"date-parts":[[2007,8,8]],"date-time":"2007-08-08T23:17:25Z","timestamp":1186615045000},"page":"109-126","source":"Crossref","is-referenced-by-count":14,"title":["On the Construction of Live Timed Systems"],"prefix":"10.1007","author":[{"given":"S\u00e9bastien","family":"Bornot","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gregor","family":"G\u00f6\u00dfler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joseph","family":"Sifakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,1]]},"reference":[{"key":"9_CR1","unstructured":"K. Altisen, G. G\u00f6\u00dfler, A. Pnueli, J. Sifakis, S. Tripakis, and S. Yovine. A Framework for Scheduler Synthesis. In IEEE RTSS\u201999 proceedings, 1999. 109"},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"R. Alur and D.L. Dill. A theoryof timed automata. TCS, 126, pp. 183\u2013235, 1994.","journal-title":"TCS"},{"key":"9_CR3","series-title":"Lect Notes Comput Sci","volume-title":"Hybrid Systems II","author":"E. Asarin","year":"1995","unstructured":"E. Asarin, O. Maler, and A. Pnueli. Symbolic Controller Synthesis for Discrete and Timed Systems. Hybrid Systems II, LNCS 999, Springer-Verlag, 1995. 109"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"P. C. Attie. Synthesis of Large Concurrent Programs via Pairwise Composition. In CONCUR\u201999.","DOI":"10.1007\/3-540-48320-9_11"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"J. C. M. Baeten, J. A. Bergstra, and J. W. Klop. Syntax and defining equations for an interrupt mechanism in process algebra. Fundamenta Informaticae IX (2), pp. 127\u2013168, 1986. 125","DOI":"10.3233\/FI-1986-9202"},{"key":"9_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/3-540-64358-3_31","volume-title":"International Workshop \u201cHybrid Systems: Computation and Control\u201d","author":"S. Bornot","year":"1998","unstructured":"S. Bornot and J. Sifakis. On the composition of hybrid systems. In International Workshop \u201cHybrid Systems: Computation and Control\u201d, LNCS, pp. 49\u201363. Springer-Verlag, April 1998. 110, 112, 117, 118, 125"},{"key":"9_CR7","unstructured":"S. Bornot and J. Sifakis. An Algebraic Framework for Urgency. In Calculational System Design, NATO Science Series, Computer and Systems Science 173, Marktoberdorf, July 1998. 110, 112, 115, 117, 118, 125"},{"key":"9_CR8","series-title":"Lect Notes Comput Sci","volume-title":"COMPOS\u201997","author":"S. Bornot","year":"1998","unstructured":"S. Bornot, J. Sifakis, and S. Tripakis. Modeling urgency in timed systems. In COMPOS\u201997, Malente, Germany. LNCS 1536, Springer-Verlag, 1998. 110, 125"},{"key":"9_CR9","series-title":"Lect Notes Comput Sci","volume-title":"CAV\u201999","author":"L. P. Carloni","year":"1999","unstructured":"L. P. Carloni, K. L. McMillan, and A. L. Sangiovanni-Vincentelli. Latency Insensitive Protocols. In CAV\u201999, Trento, Italy. LNCS 1633, Springer-Verlag, 1999. 125"},{"key":"9_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/3-540-61042-1_50","volume-title":"TACAS\u201996","author":"R. Cleaveland","year":"1996","unstructured":"R. Cleaveland, G. L\u00fcttgen, V. Natarajan, and S. Sims. Priorities for Modeling and Verifying Distributed Systems. In TACAS\u201996, LNCS 1055, pp. 278\u2013297. 125"},{"issue":"2","key":"9_CR11","first-page":"193","volume":"111","author":"T. A. Henzinger","year":"1994","unstructured":"T. A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model checking for real-time systems. Proc. 7th Symp. on Logics in Computer Science (LICS\u201992) and Information and Computation 111(2):193\u2013244, 1994.","journal-title":"Proc. 7th Symp. on Logics in Computer Science (LICS\u201992) and Information and Computation"},{"key":"9_CR12","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985. 120"},{"key":"9_CR13","unstructured":"M. V. Iordache, J. O. Moody, and P. J. Antsaklis. A Method for Deadlock Prevention in Discrete Event Systems Using Petri Nets. Technical Report, University of Notre Dame, July 1999. 125"},{"key":"9_CR14","unstructured":"H. Kwak, I. Lee, A. Philippou, J. Choi, and O. Sokolsky. Symbolic schedulability analysis of real-time systems. In IEEE RTSS\u201998, Madrid, Spain, December 1998. 125"},{"key":"9_CR15","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall, 1989. 120"},{"key":"9_CR16","series-title":"Lect Notes Comput Sci","volume-title":"ARTS\u201999","author":"S. Tripakis","year":"1999","unstructured":"S. Tripakis. Verifying Progress in Timed Systems. In ARTS\u201999, Bamberg, Germany, 1999 (to appear in LNCS series). 114, 125"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46419-0_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,21]],"date-time":"2021-08-21T11:48:17Z","timestamp":1629546497000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46419-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672821","9783540464198"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-46419-0_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}