{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,14]],"date-time":"2026-07-14T10:18:46Z","timestamp":1784024326539,"version":"3.55.0"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319539454","type":"print"},{"value":"9783319539461","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-53946-1_7","type":"book-chapter","created":{"date-parts":[[2017,2,15]],"date-time":"2017-02-15T07:42:51Z","timestamp":1487144571000},"page":"109-125","source":"Crossref","is-referenced-by-count":1,"title":["Shared-Variable Concurrency, Continuous Behaviour and Healthiness for Critical Cyberphysical Systems"],"prefix":"10.1007","author":[{"given":"Richard","family":"Banach","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Huibiao","family":"Zhu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2017,2,16]]},"reference":[{"key":"7_CR1","volume-title":"Principles of Cyberphysical Systems","author":"R Alur","year":"2015","unstructured":"Alur, R.: Principles of Cyberphysical Systems. MIT Press, Cambridge (2015)"},{"key":"7_CR2","unstructured":"Lee, E., Shesha, S.: Introduction to Embedded Systems: A Cyberphysical Systems Approach, 2nd edn. (2015). LeeShesha.org"},{"key":"7_CR3","volume-title":"Unifying Theories of Programming","author":"T Hoare","year":"1998","unstructured":"Hoare, T., He, J.: Unifying Theories of Programming. Prentice-Hall, Englewood Cliffs (1998)"},{"key":"7_CR4","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"C Zhou","year":"1991","unstructured":"Zhou, C., Hoare, T., Ravn, A.: A calculus of durations. Inf. Process. Lett. 40, 269\u2013276 (1991)","journal-title":"Inf. Process. Lett."},{"key":"7_CR5","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0601-9","volume-title":"Ordinary Differential Equations","author":"W Walter","year":"1998","unstructured":"Walter, W.: Ordinary Differential Equations. Graduate Texts in Mathematics, vol. 182. Springer, New York (1998)"},{"key":"7_CR6","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511810817","volume-title":"Matrix Analysis","author":"R Horn","year":"1985","unstructured":"Horn, R., Johnson, C.: Matrix Analysis. Cambridge University Press, Cambridge (1985)"},{"key":"7_CR7","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511840371","volume-title":"Topics in Matrix Analysis","author":"R Horn","year":"1991","unstructured":"Horn, R., Johnson, C.: Topics in Matrix Analysis. Cambridge University Press, Cambridge (1991)"},{"key":"7_CR8","unstructured":"DO-178C. http:\/\/www.rtca.org"},{"key":"7_CR9","unstructured":"ISO 26262. http:\/\/www.iso.org\/iso\/home\/store\/catalogue_tc\/catalogue_detail.ht m? csnumber=54591"},{"key":"7_CR10","unstructured":"IEC 62304. https:\/\/webstore.iec.ch\/preview\/info_iec62304ed1.0en_d.pdf"},{"key":"7_CR11","unstructured":"CENELEC EN 50128. https:\/\/www.cenelec.eu\/dyn\/www\/f?p=104:105"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-21437-0_1","volume-title":"FM 2011: Formal Methods","author":"J Sztipanovits","year":"2011","unstructured":"Sztipanovits, J.: Model integration and cyber physical systems: a semantics perspective. In: Butler, M., Schulte, W. (eds.) FM 2011. LNCS, vol. 6664, p. 1. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-21437-0_1 . http:\/\/sites.lero.ie\/download.aspx?f=Sztipanovits-Keynote.pdf"},{"key":"7_CR13","unstructured":"Willems, J.: Open dynamical systems: their aims and their origins. Ruberti Lecture, Rome (2007). http:\/\/homes.esat.kuleuven.be\/~jwillems\/Lectures\/2007\/Rubertilecture.pdf"},{"key":"7_CR14","unstructured":"National Science and Technology Council. Trustworthy cyberspace: strategic plan for the federal cybersecurity research and development program (2011). http:\/\/www.whitehouse.gov\/sites\/default\/files\/microsites\/ostp\/fed_cybersecurity_rd_strategic_plan_2011.pdf"},{"key":"7_CR15","unstructured":"Geisberger, E., Broy M. (eds.): Living in a networked world. Integrated research agenda cyber-physical systems (agendaCPS) (2015). http:\/\/www.acatech.de\/fileadmin\/user_upload\/Baumstruktur_nach_Website\/Acatech\/root\/de\/Publikationen\/Projektberichte\/acaetch_STUDIE_agendaCPS_eng_WEB.pdf"},{"key":"7_CR16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1561\/1000000001","volume":"1","author":"L Carloni","year":"2006","unstructured":"Carloni, L., Passerone, R., Pinto, A., Sangiovanni-Vincentelli, A.: Languages and tools for hybrid systems design. Found. Trends Electron. Des. Autom. 1, 1\u2013193 (2006)","journal-title":"Found. Trends Electron. Des. Autom."},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Henzinger, T.: The theory of hybrid automata. In: Proceedings of IEEE LICS-96, pp. 278\u2013292. IEEE (1996). http:\/\/mtc.epfl.ch\/~tah\/Publications\/the_theory_of_hybrid_automata.pdf","DOI":"10.1109\/LICS.1996.561342"},{"key":"7_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/3-540-57318-6_30","volume-title":"Hybrid Systems","author":"R Alur","year":"1993","unstructured":"Alur, R., Courcoubetis, C., Henzinger, T.A., Ho, P.-H.: Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. In: Grossman, R.L., Nerode, A., Ravn, A.P., Rischel, H. (eds.) HS 1991-1992. LNCS, vol. 736, pp. 209\u2013229. Springer, Heidelberg (1993). doi: 10.1007\/3-540-57318-6_30"},{"key":"7_CR19","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.: A theory of timed automata. Theor. Comput. Sci. 126, 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"7_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-14509-4","volume-title":"Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics","author":"A Platzer","year":"2010","unstructured":"Platzer, A.: Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics. Springer, Heidelberg (2010)"},{"key":"7_CR21","unstructured":"Symbolaris. http:\/\/www.symbolaris.org"},{"key":"7_CR22","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1016\/j.scico.2015.02.003","volume":"105","author":"R Banach","year":"2015","unstructured":"Banach, R., Butler, M., Qin, S., Verma, N., Zhu, H.: Core hybrid event-B I: single hybrid event-B machines. Sci. Comput. Prog. 105, 92\u2013123 (2015)","journal-title":"Sci. Comput. Prog."},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"Banach, R., Butler, M., Qin, S., Zhu, H.: Core hybrid event-B II: multiple cooperating hybrid event-B machines. Sci. Comp. Prog. (2017, to appear)","DOI":"10.1016\/j.scico.2016.12.003"},{"key":"7_CR24","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B: System and Software Engineering","author":"JR Abrial","year":"2010","unstructured":"Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)"},{"key":"7_CR25","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-Book: Assigning Programs to Meanings","author":"JR Abrial","year":"1996","unstructured":"Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)"},{"key":"7_CR26","unstructured":"Clearsy. http:\/\/www.clearsy.com\/en\/"},{"key":"7_CR27","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/s11334-009-0100-9","volume":"5","author":"H Zhu","year":"2009","unstructured":"Zhu, H., Qin, S., He, J., Bowen, J.: PTSC: probability, time and shared-variable concurrency. Innov. Syst. Softw. Eng. 5, 271\u2013284 (2009)","journal-title":"Innov. Syst. Softw. Eng."},{"key":"7_CR28","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1016\/j.jlap.2011.06.003","volume":"81","author":"H Zhu","year":"2012","unstructured":"Zhu, H., Yang, F., He, J., Bowen, J., Sanders, J., Qin, S.: Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language. J. Log. Alg. Prog. 81, 2\u201325 (2012)","journal-title":"J. Log. Alg. Prog."}],"container-title":["Communications in Computer and Information Science","Formal Techniques for Safety-Critical Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-53946-1_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,18]],"date-time":"2019-09-18T14:24:36Z","timestamp":1568816676000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-53946-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319539454","9783319539461"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-53946-1_7","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}