{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,18]],"date-time":"2025-01-18T03:40:10Z","timestamp":1737171610888,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540417811"},{"type":"electronic","value":"9783540452454"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45245-1_9","type":"book-chapter","created":{"date-parts":[[2007,7,2]],"date-time":"2007-07-02T18:06:02Z","timestamp":1183399562000},"page":"134-145","source":"Crossref","is-referenced-by-count":2,"title":["A Real-Time Animator for Hybrid Systems"],"prefix":"10.1007","author":[{"given":"Tobias","family":"Amnell","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandre","family":"David","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wang","family":"Yi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,7,20]]},"reference":[{"key":"9_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"125","author":"R. Alur","year":"1994","unstructured":"R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 125:183\u2013235, 1994.","journal-title":"Theoretical Computer Science"},{"issue":"10","key":"9_CR2","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1063\/1.4822377","volume":"2","author":"S. Cohen","year":"1996","unstructured":"S. Cohen and A. Hindmarsh. Cvode, a stiff\/nonstiff ode solver in c. Computers in Physics, 2(10):138\u201343, March\u2013April 1996.","journal-title":"Computers in Physics"},{"key":"9_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"416","DOI":"10.1007\/BFb0035403","volume-title":"The bounded retransmission protocol must be on time!","author":"P. D\u2019Argenio","year":"1997","unstructured":"P. D\u2019Argenio, J.-P. Katoen, T. Ruys, and J. Tretmans. The bounded retransmission protocol must be on time! In Proceedings of the 3rd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, volume 1217 of LNCS, pages 416\u2013431. Springer-Verlag, April 1997. Enschede, The Netherlands."},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"K. Havelund, A. Skou, K. G. Larsen, and K. Lund. Formal modelling and analysis of an audio\/video protocol: An industrial case study using uppaal. In Proceedings of the 18th IEEE Real-Time Systems Symposium, pages 2\u201313. IEEE, December 1997. San Francisco, California, USA.","DOI":"10.1109\/REAL.1997.641264"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"T. A. Henzinger. The theory of hybrid automata. In Proceedings of the 11th Annual IEEE Symposium on Logic on Computer Science (LICS 96), pages 278\u2013292. IEEE, 1996.","DOI":"10.1109\/LICS.1996.561342"},{"key":"9_CR6","unstructured":"K. J. Kristoffersen, K. G. Larsen, P. Pettersson, and C. Weise. Experimental batch plant-vhs case study 1 using timed automata and uppaal. Deliverable of EPRIT-LTR Project 26270 VHS (Verification of Hybird Systems), 1999."},{"key":"9_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1007\/BFb0054178","volume-title":"Formal design and analysis of a gear controller","author":"M. Lindahl","year":"1998","unstructured":"M. Lindahl, P. Pettersson, and W. Yi. Formal design and analysis of a gear controller. In B. Steffen, editor, Proceedings of the 4th International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, volume 1384 of LNCS, pages 281\u2013297, 1999. Gulbenkian Foundation, Lisbon, Portugal."},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"H. L\u00f6nn and P. Pettersson. Formal verification of a tdma protocol start-up mechanism. In Proceedings of 1997 IEEE Pacific Rim International Symposium on Fault-Tolerant Systems, pages 235\u2013242. IEEE, December 1997. Taipei, Taiwan.","DOI":"10.1109\/PRFTS.1997.640153"}],"container-title":["Lecture Notes in Computer Science","Languages, Compilers, and Tools for Embedded Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45245-1_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,18]],"date-time":"2025-01-18T03:00:53Z","timestamp":1737169253000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45245-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540417811","9783540452454"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-45245-1_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}