{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:04:45Z","timestamp":1725494685931},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540410553"},{"type":"electronic","value":"9783540453529"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"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":[[2000]]},"DOI":"10.1007\/3-540-45352-0_17","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T12:26:02Z","timestamp":1194956762000},"page":"202-213","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":19,"title":["Generalizing Action Systems to Hybrid Systems"],"prefix":"10.1007","author":[{"given":"R. -J.","family":"Back","sequence":"first","affiliation":[]},{"given":"L.","family":"Petre","sequence":"additional","affiliation":[]},{"given":"I.","family":"Porres","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,1,22]]},"reference":[{"issue":"5","key":"17_CR1","doi-asserted-by":"publisher","first-page":"1543","DOI":"10.1145\/186025.186058","volume":"16","author":"M. Abadi","year":"1994","unstructured":"M. Abadi and L. Lamport. An old-fashioned receipe for real time. ACM Transactions on Programming Languages and Systems, 16(5):1543\u20131571, 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"17_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/3-540-57318-6_30","volume-title":"Hybrid Systems I","author":"R. Alur","year":"1993","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 R.L. Grossman, A. Nerode, A.P. Revn, and H. Rischel, editors, Hybrid Systems I, volume LNCS 736, pages 209\u2013229. Springer-Verlag, 1993."},{"key":"17_CR3","unstructured":"R. J. R. Back and C. Cerschi. Modeling and verifying a temperature control system using hybrid action systems. In Proc. of the 5th Int. Workshop in Formal Methods for Industrial Critical Systems, 2000, to appear."},{"key":"17_CR4","series-title":"Lect Notes Comput Sci","first-page":"131","volume-title":"Decentralization of process nets with centralized control","author":"R. J. R. Back","year":"1994","unstructured":"R. J. R. Back and R. Kurki-Suonio. Decentralization of process nets with centralized control. In 2nd Symp. on Principles of Distributed Computing, volume LNCS 873, pages 131\u2013142. ACM SIGACT-SIGOPS, 1983."},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"R. J. R. Back and K. Sere. Stepwise refinement of parallel algorithms. In Science of Computer Programming 13, pages 133\u2013180, 1991.","DOI":"10.1016\/0167-6423(90)90069-P"},{"key":"17_CR6","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Formal Methods Europe (FME\u2019 94)","author":"R. J. R. Back","year":"1994","unstructured":"R. J. R. Back and K. Sere. From action systems to modular systems. In Formal Methods Europe (FME\u2019 94), volume LNCS 873, pages 1\u201325. Springer-Verlag, 1994."},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"R. J. R. Back and J. von Wright. Refinement Calculus-A Systematic Introduction. Springer-Verlag, 1998.","DOI":"10.1007\/978-1-4612-1674-2"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"R.J. Back, L. Petre, and I. Porres. Generalizing action systems to hybrid systems. Technical Report 307, TUCS Turku Centre for Computer Science, 1999.","DOI":"10.1007\/3-540-45352-0_17"},{"key":"17_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/BFb0020945","volume-title":"Hybrid Systems III","author":"M.S. Branicky","year":"1996","unstructured":"M.S. Branicky. General hybrid dynamical systems: modeling, analysis and control. In R. Alur, T. A. Henzinger, and E. D. Sontag, editors, Hybrid Systems III, volume LNCS 1066, pages 186\u2013200. Springer-Verlag, 1996."},{"key":"17_CR10","unstructured":"E. W. Dijkstra. A Discipline of Programming. Prentice-Hall International, 1976."},{"key":"17_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1007\/3-540-65193-4_18","volume-title":"Lectures on Embedded Systems","author":"Y. Kesten","year":"1998","unstructured":"Y. Kesten, Z. Manna, and A. Pnueli. Verification of clocked and hybrid systems. In Lectures on Embedded Systems, volume LNCS 1494, pages 4\u201373. Springer-Verlag, 1998."},{"key":"17_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-58867-1","volume-title":"Formal Development of Reactive Systems: Case Study Production Cell","author":"C. Lewerentz","year":"1995","unstructured":"C. Lewerentz and T. Lindner. Formal Development of Reactive Systems: Case Study Production Cell., volume LNCS 891. Springer-Verlag, 1995."},{"key":"17_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1007\/3-540-57318-6_35","volume-title":"Hybrid Systems I","author":"A. Nerode","year":"1993","unstructured":"A. Nerode and W. Kohn. Models for hybrid systems: automata, topologies, controllability, observability. In R.L. Grossman, A. Nerode, A.P. Revn, and H. Rischel, editors, Hybrid Systems I, volume LNCS 736, pages 317\u2013356. Springer-Verlag, 1993."},{"key":"17_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1007\/3-540-49163-5_17","volume-title":"Hybrid Systems V","author":"M. R\u00f6nkk\u00f6","year":"1999","unstructured":"M. R\u00f6nkk\u00f6 and A.P. Ravn. Action systems with continuous behaviour. In P. J. Antsaklis, W. Kohn, M. Lemmon, A. Nerode, and S. Sastry, editors, Hybrid Systems V, volume LNCS 1567, pages 304\u2013323. Springer-Verlag, 1999."}],"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-45352-0_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T10:46:29Z","timestamp":1558262789000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45352-0_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540410553","9783540453529"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-45352-0_17","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]},"assertion":[{"value":"22 January 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}