{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,3]],"date-time":"2025-08-03T22:57:55Z","timestamp":1754261875081,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642243486"},{"type":"electronic","value":"9783642243493"}],"license":[{"start":{"date-parts":[[2011,10,27]],"date-time":"2011-10-27T00:00:00Z","timestamp":1319673600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2011,10,27]],"date-time":"2011-10-27T00:00:00Z","timestamp":1319673600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-24349-3_1","type":"book-chapter","created":{"date-parts":[[2012,2,7]],"date-time":"2012-02-07T07:42:19Z","timestamp":1328600539000},"page":"3-25","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["System Behaviour Models with Discrete and Dense Time"],"prefix":"10.1007","author":[{"given":"Manfred","family":"Broy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,10,27]]},"reference":[{"key":"1_CR1","unstructured":"Broy M (2008) Relating time and causality in interactive distributed systems. Marktoberdorf Summer School"},{"key":"1_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-0091-5","volume-title":"Specification and development of interactive systems: Focus on streams, interfaces, and refinement","author":"M Broy","year":"2001","unstructured":"Broy M, St\u00f8len K (2001) Specification and development of interactive systems: Focus on streams, interfaces, and refinement. Springer, Berlin"},{"issue":"2","key":"1_CR3","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s10817-008-9103-8","volume":"41","author":"A Platzer","year":"2008","unstructured":"Platzer A (2008) Differential dynamic logic for hybrid systems. J Automated Reasoning 41(2), 143\u2013189","journal-title":"J Automated Reasoning"},{"issue":"5","key":"1_CR4","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"Z Chaochen","year":"1991","unstructured":"Chaochen Z, Hoare CAR, Ravn PA (1991) A calculus of durations. Inform Process Lett 40(5), 269\u2013276","journal-title":"Inform Process Lett"},{"key":"1_CR5","first-page":"41","volume-title":"The new paradigm","author":"M Broy","year":"2006","unstructured":"Broy M (2006) A theory of system interaction: Components, interfaces, and services. In: Goldin D, Smolka S, Wegner P (eds) The new paradigm. Springer, Berlin, pp 41\u201396"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Henzinger TA (1996) The theory of hybrid automata. In: Proceedings of the 11th annual symposium on logic in computer science (LICS), IEEE Computer Society Press, pp 278\u2013292. An extended version appeared in Verification of digital and hybrid systems (Inan MK, Kurshan RP, eds), NATO ASI series F: Computer and systems sciences, vol 170, Springer, Berlin, 2000, pp 265\u2013292","DOI":"10.1007\/978-3-642-59615-5_13"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Henzinger TA, Manna Z, Pnueli A (1993) Towards refining temporal specifications into hybrid systems. In: Hybrid systems I, Lecture notes in computer science 736, Springer, Berlin, pp\u00a060\u201376","DOI":"10.1007\/3-540-57318-6_24"},{"key":"1_CR8","doi-asserted-by":"publisher","first-page":"971","DOI":"10.1109\/5.871304","volume":"88","author":"R Alur","year":"2000","unstructured":"Alur R, Henzinger TA, Lafferriere G, Pappas GJ (2000) Discrete abstractions of hybrid systems. Proc IEEE 88:971\u2013984","journal-title":"Proc IEEE"},{"issue":"5","key":"1_CR9","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1145\/1506409.1506426","volume":"52","author":"EA Lee","year":"2009","unstructured":"Lee EA (2009) Computing needs time. Commun ACM 52(5), 70\u201379","journal-title":"Commun ACM"},{"issue":"1","key":"1_CR10","first-page":"100","volume":"91","author":"J Sifakis","year":"2003","unstructured":"Sifakis J, Tripakis S, Yovine S (2003) Building models of real-time systems from application software. Proc IEEE (Special issue on modelling and design of embedded) 91(1), 100\u2013111","journal-title":"Proc IEEE (Special issue on modelling and design of embedded)"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Grosu R, Stauner Th., Broy M (1998) A modular visual model for hybrid systems. FTRTFT, 75\u201391","DOI":"10.1007\/BFb0055338"}],"container-title":["Advances in Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24349-3_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,18]],"date-time":"2023-04-18T05:40:15Z","timestamp":1681796415000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-24349-3_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10,27]]},"ISBN":["9783642243486","9783642243493"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24349-3_1","relation":{},"subject":[],"published":{"date-parts":[[2011,10,27]]},"assertion":[{"value":"27 October 2011","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}