{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:10:06Z","timestamp":1742598606728,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584681"},{"type":"electronic","value":"9783540489849"}],"license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"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":[[1994]]},"DOI":"10.1007\/3-540-58468-4_160","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:16:18Z","timestamp":1330272978000},"page":"77-85","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Development of hybrid systems"],"prefix":"10.1007","author":[{"given":"Amir","family":"Pnueli","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, T. Henzinger, and P. Ho. Hybrid automata: An algorithmic approach to the specification and analysis of hybrid systems. In R.L. Grossman, A. Nerode, A. Ravn, and H. Rischel, editors, Hybrid Systems, Lect. Notes in Comp. Sci., pages 209\u2013229. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57318-6_30"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Z. Chaochen, A.P. Ravn, and M.R. Hansen. An exteended duration calculus for hybrid real-time systems. In R.L. Grossman, A. Nerode, A. Ravn, and H. Rischel, editors, Hybrid Systems, Lect. Notes in Comp. Sci., pages 36\u201359. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57318-6_23"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"R.L. Grossman, A. Nerode, A. Ravn, and H. Rischel, editors. Hybrid Systems. Lect. Notes in Comp. Sci. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57318-6"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"E. Harel, O. Lichtenstein, and A. Pnueli. Explicit clock temporal logic. In Proc. 5th IEEE Symp. Logic in Comp. Sci., pages 402\u2013413, 1990.","DOI":"10.1109\/LICS.1990.113765"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"T. Henzinger, Z. Manna, and A. Pnueli. Timed transition systems. In J.W. de Bakker, C. Huizing, W.P. de Roever, and G. Rozenberg, editors, Proceedings of the REX Workshop \u201cReal-Time: Theory in Practice\u201d, volume 600 of Lect. Notes in Comp. Sci., pages 226\u2013251. Springer-Verlag, 1992.","DOI":"10.1007\/BFb0031995"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"J. Hooman. A compositional approach to the design of hybrid systems. In R.L. Grossman, A. Nerode, A. Ravn, and H. Rischel, editors, Hybrid Systems, Lect. Notes in Comp. Sci., pages 121\u2013148. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57318-6_27"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"A. Kapur, T.A. Henzinger, Z. Manna, and A. Pnueli. Proving properties of hybrid systems. to appear in FTRTFT'94 conference, Luneck, 1994.","DOI":"10.1007\/3-540-58468-4_177"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"L. Lamport. Hybrid systems in TLA+. In R.L. Grossman, A. Nerode, A. Ravn, and H. Rischel, editors, Hybrid Systems, Lect. Notes in Comp. Sci., pages 77\u2013102. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57318-6_25"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In J.W. de Bakker, C. Huizing, W.P. de Roever, and G. Rozenberg, editors, Proceedings of the REX Workshop \u201cReal-Time: Theory in Practice\u201d, volume 600 of Lect. Notes in Comp. Sci., pages 447\u2013484. Springer-Verlag, 1992.","DOI":"10.1007\/BFb0032003"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. Verifying hybrid systems. In R.L. Grossman, A. Nerode, A. Ravn, and H. Rischel, editors, Hybrid Systems, Lect. Notes in Comp. Sci., pages 4\u201335. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57318-6_22"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"A. Nerode and W. Kohn. Models for hybrid systems: Automata, topologies, controllability, observability. In R.L. Grossman, A. Nerode, A. Ravn, and H. Rischel, editors, Hybrid Systems, Lect. Notes in Comp. Sci., pages 317\u2013356. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57318-6_35"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"X. Nicollin, J. Sifakis, and S. Yovine. From ATP to timed graphs and hybrid systems. In J.W. de Bakker, C. Huizing, W.P. de Roever, and G. Rozenberg, editors, Proceedings of the REX Workshop \u201cReal-Time: Theory in Practice\u201d, volume 600 of Lect. Notes in Comp. Sci., pages 549\u2013572. Springer-Verlag, 1992.","DOI":"10.1007\/BFb0032007"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58468-4_160","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:31:05Z","timestamp":1742596265000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58468-4_160"}},"subtitle":["Extended abstract"],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584681","9783540489849"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-58468-4_160","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]},"assertion":[{"value":"8 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}