{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T04:34:07Z","timestamp":1781238847225,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540611554","type":"print"},{"value":"9783540683346","type":"electronic"}],"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\/bfb0020971","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T08:16:01Z","timestamp":1132733761000},"page":"496-510","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":103,"title":["Hybrid I\/O automata"],"prefix":"10.1007","author":[{"given":"Nancy","family":"Lynch","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Roberto","family":"Segala","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Frits","family":"Vaandrager","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"H. B.","family":"Weinberg","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,6,10]]},"reference":[{"issue":"15","key":"40_CR1","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1145\/151646.151649","volume":"1","author":"M. Abadi","year":"1993","unstructured":"M. Abadi and L. Lamport. Composing specifications. ACM Transactions on Programming Languages and Systems, 1(15):73\u2013132, 1993.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"40_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J.Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3\u201334, 1995.","journal-title":"Theoretical Computer Science"},{"key":"40_CR3","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, T.A. Henzinger, and P.-H. Ho. Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. In Grossman et al. [8], pages 209\u2013229.","DOI":"10.1007\/3-540-57318-6_30"},{"key":"40_CR4","doi-asserted-by":"crossref","unstructured":"J.C.M. Baeten and W.P. Weijland. Process Algebra. Cambridge Tracts in Theoretical Computer Science 18. Cambridge University Press, 1990.","DOI":"10.1017\/CBO9780511624193"},{"key":"40_CR5","doi-asserted-by":"crossref","unstructured":"D.J.B. Bosscher, I. Polak, and F.W. Vaandrager. Verification of an audio control protocol. In Proc. FTRTFT'94, LNCS 863, pages 170\u2013192. Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58468-4_165"},{"key":"40_CR6","doi-asserted-by":"crossref","unstructured":"D. Dill. Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits. ACM Distinguished Dissertations. MIT Press, 1988.","DOI":"10.7551\/mitpress\/6874.001.0001"},{"key":"40_CR7","doi-asserted-by":"crossref","unstructured":"R. Gawlick, R. Segala, J.F. S\u00f8gaard-Andersen, and N. Lynch. Liveness in timed and untimed systems. In Proceedings 21th ICALP, LNCS 820. Springer-Verlag, 1994. A full version appears as MIT Technical Report number MIT\/LCS\/TR-587.","DOI":"10.1007\/3-540-58201-0_66"},{"key":"40_CR8","doi-asserted-by":"crossref","unstructured":"R.L. Grossman, A. Nerode, A.P. Ravn, and H. Rischel, editors. Hybrid Systems, LNCS 736. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57318-6"},{"issue":"3","key":"40_CR9","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"L. Lamport. The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16(3):872\u2013923, March 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"40_CR10","doi-asserted-by":"crossref","unstructured":"N.A. Lynch. Modelling and verification of automated transit systems, using timed automata, invariants and simulations, 1996. This volume.","DOI":"10.1007\/BFb0020967"},{"key":"40_CR11","doi-asserted-by":"crossref","unstructured":"N.A. Lynch and M.R. Tuttle. Hierarchical correctness proofs for distributed algorithms. In Proceedings 6th PODC, pages 137\u2013151, August 1987. A full version is available as MIT Technical Report MIT\/LCS\/TR-387.","DOI":"10.1145\/41840.41852"},{"key":"40_CR12","volume-title":"Report CS-R9314","author":"N.A. Lynch","year":"1993","unstructured":"N.A. Lynch and F.W. Vaandrager. Forward and backward simulations \u2014 part II: Timing-based systems. Report CS-R9314, CWI, Amsterdam, March 1993. To appear in Information and Computation."},{"issue":"2","key":"40_CR13","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1006\/inco.1995.1134","volume":"121","author":"N.A. Lynch","year":"1995","unstructured":"N.A. Lynch and F.W. Vaandrager. Forward and backward simulations. part I: Untimed systems. Information and Computation, 121(2):214\u2013233, September 1995.","journal-title":"Information and Computation"},{"key":"40_CR14","unstructured":"N.A. Lynch and H.B. Weinberg. Proving correctness of a vehicle maneuver: Deceleration. In Proceedings Second European Workshop on Real-Time and Hybrid Systems, Grenoble, France, June 1995."},{"key":"40_CR15","doi-asserted-by":"crossref","unstructured":"O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In Proceedings REX Workshop, LNCS 600, pages 447\u2013484. Springer-Verlag, 1992.","DOI":"10.1007\/BFb0032003"},{"key":"40_CR16","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"40_CR17","doi-asserted-by":"crossref","unstructured":"A. Nerode and A. Yakhnis. Concurrent programs as strategies in games. In Y. Moschovakis, editor, Logic from Computer Science. Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4612-2822-6_17"},{"key":"40_CR18","doi-asserted-by":"crossref","unstructured":"A. Pnueli and J. Sifakis, editors. Special Issue on Hybrid Systems of Theoretical Computer Science, 138(1). Elsevier Science Publishers, February 1995.","DOI":"10.1016\/0304-3975(95)90065-9"},{"key":"40_CR19","unstructured":"E.D. Sontag. Mathematical Control Theory \u2014 Deterministic Finite Dimensional Systems, TAM 6. Springer-Verlag, 1990."},{"key":"40_CR20","doi-asserted-by":"crossref","unstructured":"H.B. Weinberg, N.A. Lynch, and N. Delisle. Verification of automated vehicle protection systems, 1996. This volume.","DOI":"10.1007\/BFb0020938"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems III"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0020971","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T15:45:44Z","timestamp":1683301544000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0020971"}},"subtitle":["Extended abstract"],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540611554","9783540683346"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/bfb0020971","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996]]},"assertion":[{"value":"10 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}