{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,11]],"date-time":"2026-09-11T23:21:53Z","timestamp":1789168913073,"version":"build-2803163510"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319471686","type":"print"},{"value":"9783319471693","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-47169-3_13","type":"book-chapter","created":{"date-parts":[[2016,10,4]],"date-time":"2016-10-04T21:56:23Z","timestamp":1475618183000},"page":"171-186","source":"Crossref","is-referenced-by-count":16,"title":["Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design"],"prefix":"10.1007","author":[{"given":"Peter Gorm","family":"Larsen","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"John","family":"Fitzgerald","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jim","family":"Woodcock","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ren\u00e9","family":"Nilsson","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Carl","family":"Gamble","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Simon","family":"Foster","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2016,10,5]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R Alur","year":"1995","unstructured":"Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theoret. Comput. Sci. 138, 3\u201334 (1995)","journal-title":"Theoret. Comput. Sci."},{"key":"13_CR2","volume-title":"Dynamical Systems for Creative Technology","author":"J Amerongen van","year":"2010","unstructured":"van Amerongen, J.: Dynamical Systems for Creative Technology. Controllab Products, Enschede (2010)"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Broenink, J.F., Larsen, P.G., Verhoef, M., Kleijn, C., Jovanovic, D., Pierce, K., Wouters, F.: Design support and tooling for dependable embedded control software. In: Proceedings of Serene 2010 International Workshop on Software Engineering for Resilient Systems, pp. 77\u201382. ACM, April 2010","DOI":"10.1145\/2401736.2401745"},{"key":"13_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-34059-8_1","volume-title":"Large-Scale Complex IT Systems. Development, Operation and Management","author":"M Broy","year":"2012","unstructured":"Broy, M., Cengarle, M.V., Geisberger, E.: Cyber-physical systems: imminent challenges. In: Calinescu, R., Garlan, D. (eds.) Monterey Workshop 2012. LNCS, vol. 7539, pp. 1\u201328. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-34059-8_1"},{"key":"13_CR5","series-title":"Advanced Textbooks in Control and Signal Processing","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-85729-398-5","volume-title":"Model Predictive Control","author":"EF Camacho","year":"2007","unstructured":"Camacho, E.F., Alba, C.B.: Model Predictive Control. Advanced Textbooks in Control and Signal Processing. Springer, London (2007)"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Carloni, L.P., Passerone, R., Pinto, A., Sangiovanni-Vincentelli, A.L.: Languages and tools for hybrid systems design. Found. Trends Electron. Des. Autom. 1(1\/2) (2006)","DOI":"10.1561\/1000000001"},{"issue":"1","key":"13_CR7","first-page":"13","volume":"100","author":"P Derler","year":"2012","unstructured":"Derler, P., Lee, E.A., Sangiovanni-Vincentelli, A.: Modeling cyber-physical systems. Proc. IEEE (special issue on CPS) 100(1), 13\u201328 (2012)","journal-title":"Proc. IEEE (special issue on CPS)"},{"issue":"4","key":"13_CR8","doi-asserted-by":"crossref","first-page":"726","DOI":"10.1017\/S0960129512000242","volume":"23","author":"J Fitzgerald","year":"2013","unstructured":"Fitzgerald, J., Larsen, P.G., Pierce, K., Verhoef, M.: A formal approach to collaborative modelling and co-simulation for embedded systems. Math. Struct. Comput. Sci. 23(4), 726\u2013750 (2013)","journal-title":"Math. Struct. Comput. Sci."},{"key":"13_CR9","volume-title":"Collaborative Design for Embedded Systems - Co-modelling and Co-simulation","year":"2014","unstructured":"Fitzgerald, J., Larsen, P.G., Verhoef, M. (eds.): Collaborative Design for Embedded Systems - Co-modelling and Co-simulation. Springer, Heidelberg (2014)"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Foster, S., Miyazawa, A., Woodcock, J., Cavalcanti, A., Fitzgerald, J., Larsen, P.: An approach for managing semantic heterogeneity in systems of systems engineering. In: Proceedings of the 9th International Conference on Systems of Systems Engineering. IEEE (2014)","DOI":"10.1109\/SYSOSE.2014.6892473"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Foster, S., Thiele, B., Cavalcanti, A., Woodcock, J.: Towards a UTP semantics for Modelica. In: 6th International Symposium on Unifying Theories of Programming (2016)","DOI":"10.1007\/978-3-319-52228-9_3"},{"key":"13_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-319-14806-9_2","volume-title":"Unifying Theories of Programming","author":"S Foster","year":"2015","unstructured":"Foster, S., Zeyda, F., Woodcock, J.: Isabelle\/UTP: a mechanised theory engineering framework. In: Naumann, D. (ed.) UTP 2014. LNCS, vol. 8963, pp. 21\u201341. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-14806-9_2"},{"key":"13_CR13","volume-title":"Principles of Object-Oriented Modeling and Simulation with Modelica 2.1","author":"P Fritzson","year":"2004","unstructured":"Fritzson, P.: Principles of Object-Oriented Modeling and Simulation with Modelica 2.1. Wiley-IEEE Press, Chichester (2004)"},{"key":"13_CR14","first-page":"319","volume-title":"Collaborative Design for Embedded Systems","author":"C Gamble","year":"2014","unstructured":"Gamble, C., Pierce, K.: Design patterns for use in co-modelling. In: Fitzgerald, J., Larsen, P.G., Verhoef, M. (eds.) Collaborative Design for Embedded Systems, pp. 319\u2013356. Springer, Heidelberg (2014)"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Grujic, I., Nilsson, R.: Model-based development and evaluation of control for complex multi-domain systems: attitude control for a quadrotor UAV. Technical report 23, Department of Engineering, Aarhus University, January 2016","DOI":"10.7146\/ece.v4i23.23349"},{"key":"13_CR16","unstructured":"Haber, A., Ringert, J.O., Rumpe, B.: MontiArc - Architectural Modeling of Interactive Distributed and Cyber-Physical Systems. Technical report AIB-2012-03, RWTH Aachen, February 2012"},{"key":"13_CR17","unstructured":"He, J.: From CSP to hybrid systems. In: Roscoe, A.W. (ed.) A Classical Mind: Essays in Honour of C.A.R. Hoare, pp. 171\u2013189. Prentice Hall (1994)"},{"key":"13_CR18","volume-title":"Communication Sequential Processes","author":"T Hoare","year":"1985","unstructured":"Hoare, T.: Communication Sequential Processes. Prentice-Hall International, Englewood Cliffs (1985)"},{"key":"13_CR19","volume-title":"Unifying Theories of Programming","author":"T Hoare","year":"1998","unstructured":"Hoare, T., Jifeng, H.: Unifying Theories of Programming. Prentice Hall, Englewood Cliffs (1998)"},{"key":"13_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1007\/3-540-55092-5_32","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"Y Kesten","year":"1992","unstructured":"Kesten, Y., Pnueli, A.: Timed and hybrid statecharts and their textual representation. In: Vytopil, J. (ed.) FTRTFT 1992. LNCS, vol. 571, pp. 591\u2013620. Springer, Heidelberg (1992). doi: 10.1007\/3-540-55092-5_32"},{"key":"13_CR21","unstructured":"Kleijn, C.: Modelling and simulation of fluid power systems with 20-sim. Int. J. Fluid Power 7(3), November 2006"},{"issue":"1","key":"13_CR22","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1668862.1668864","volume":"35","author":"PG Larsen","year":"2010","unstructured":"Larsen, P.G., Battle, N., Ferreira, M., Fitzgerald, J., Lausdahl, K., Verhoef, M.: The overture initiative - integrating tools for VDM. SIGSOFT Softw. Eng. Notes 35(1), 1\u20136 (2010). http:\/\/doi.acm.org\/10.1145\/1668862.1668864","journal-title":"SIGSOFT Softw. Eng. Notes"},{"issue":"5","key":"13_CR23","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1145\/1506409.1506426","volume":"52","author":"EA Lee","year":"2009","unstructured":"Lee, E.A.: Computing needs time. Commun. ACM 52(5), 70\u201379 (2009)","journal-title":"Commun. ACM"},{"key":"13_CR24","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/s00165-007-0052-5","volume":"21","author":"M Oliveira","year":"2009","unstructured":"Oliveira, M., Cavalcanti, A., Woodcock, J.: A UTP semantics for circus. Formal Aspects Comput. 21, 3\u201332 (2009)","journal-title":"Formal Aspects Comput."},{"key":"13_CR25","doi-asserted-by":"crossref","unstructured":"Peleska, J.: Industrial-Strength Model-Based Testing - State of the Art and Current Challenges. Electronic Proceedings in Theoretical Computer Science abs\/1303.1006, 3\u201328 (2013)","DOI":"10.4204\/EPTCS.111.1"},{"key":"13_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"640","DOI":"10.1007\/BFb0032011","volume-title":"Real-Time: Theory in Practice","author":"G Reed","year":"1992","unstructured":"Reed, G., Roscoe, A., et al.: Timed CSP: theory and practice. In: Bakker, J.W., Huizing, C., Roever, W.P., Rozenberg, G. (eds.) REX 1991. LNCS, vol. 600, pp. 640\u2013675. Springer, Heidelberg (1992). doi: 10.1007\/BFb0032011"},{"key":"13_CR27","unstructured":"OMG Systems Modeling Language (OMG SysML $$^{{\\rm {TM}}}$$ TM ): Technical report Version 1.4, Object Management Group, September 2015. http:\/\/www.omg.org\/spec\/SysML\/1.4\/"},{"key":"13_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/11813040_11","volume-title":"FM 2006: Formal Methods","author":"M Verhoef","year":"2006","unstructured":"Verhoef, M., Larsen, P.G., Hooman, J.: Modeling and validating distributed embedded real-time systems with VDM++. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol. 4085, pp. 147\u2013162. Springer, Heidelberg (2006). doi: 10.1007\/11813040_11"},{"key":"13_CR29","doi-asserted-by":"crossref","unstructured":"Wang, B., Baras, J.S.: HybridSim: a modeling and co-simulation toolchain for cyber-physical systems. In: 17th IEEE\/ACM International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2013, Delft, The Netherlands, 30 October\u20131 November 2013, pp. 33\u201340. IEEE Computer Society (2013)","DOI":"10.1109\/DS-RT.2013.12"},{"key":"13_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/978-3-642-35705-3_3","volume-title":"Unifying Theories of Programming","author":"K Wei","year":"2013","unstructured":"Wei, K., Woodcock, J., Cavalcanti, A.: Circus Time with reactive designs. In: Wolff, B., Gaudel, M.-C., Feliachi, A. (eds.) UTP 2012. LNCS, vol. 7681, pp. 68\u201387. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-35705-3_3"},{"key":"13_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/978-3-319-06410-9_3","volume-title":"FM 2014: Formal Methods","author":"J Woodcock","year":"2014","unstructured":"Woodcock, J.: Engineering UToPiA - formal semantics for CML. In: Jones, C., Pihlajasaari, P., Sun, J. (eds.) FM 2014. LNCS, vol. 8442, pp. 22\u201341. Springer, Heidelberg (2014). doi: 10.1007\/978-3-319-06410-9_3"},{"key":"13_CR32","series-title":"Series in Computer Science","volume-title":"Using Z - Specification, Refinement, and Proof","author":"J Woodcock","year":"1996","unstructured":"Woodcock, J., Davies, J.: Using Z - Specification, Refinement, and Proof. Series in Computer Science. Prentice Hall International, Englewood Cliffs (1996)"},{"issue":"5","key":"13_CR33","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, C.A.R., Ravn, A.P.: A calculus of durations. Inf. Process. Lett. 40(5), 269\u2013276 (1991)","journal-title":"Inf. Process. Lett."}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47169-3_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,10]],"date-time":"2025-06-10T23:08:48Z","timestamp":1749596928000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47169-3_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471686","9783319471693"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47169-3_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}