{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,2]],"date-time":"2026-04-02T09:40:26Z","timestamp":1775122826730,"version":"3.50.1"},"reference-count":78,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Proc. IEEE"],"published-print":{"date-parts":[[2012,1]]},"DOI":"10.1109\/jproc.2011.2160929","type":"journal-article","created":{"date-parts":[[2011,8,25]],"date-time":"2011-08-25T20:38:11Z","timestamp":1314304691000},"page":"13-28","source":"Crossref","is-referenced-by-count":606,"title":["Modeling Cyber\u2013Physical Systems"],"prefix":"10.1109","volume":"100","author":[{"given":"P.","family":"Derler","sequence":"first","affiliation":[]},{"given":"E. A.","family":"Lee","sequence":"additional","affiliation":[]},{"given":"A. S.","family":"Vincentelli","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1109\/2.585163"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2003.1231146"},{"key":"ref71","first-page":"1","article-title":"Execution of umlstate machines using modelica","volume":"47","author":"schamai","year":"2010","journal-title":"Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2009.62"},{"key":"ref76","year":"0","journal-title":"Air Transat Flight 236"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1109\/GRC.2005.1547378"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1145\/1795194.1795223"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.180"},{"key":"ref75","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/3-540-58468-4_163","volume":"863","author":"von der beeck","year":"1994","journal-title":"Third International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems"},{"key":"ref38","article-title":"Cyber–physical systems—Are computing foundations adequate?","author":"lee","year":"2006","journal-title":"Proc Workshop CyberPhysical Syst Res Motiv Tech Roadmap"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2007.5"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805824"},{"key":"ref32","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/s10270-004-0073-y","article-title":"Design patterns for open tool integration","volume":"4","author":"karsai","year":"2005","journal-title":"Software and System Modeling"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.simpat.2007.01.007"},{"key":"ref30","author":"jantsch","year":"2003","journal-title":"Modeling Embedded Systems and SoCConcurrency and Time in Models of Computation"},{"key":"ref37","author":"lee","year":"2003","journal-title":"Overview of the Ptolemy Project"},{"key":"ref36","article-title":"Model-driven development—From object-oriented design to actor-oriented design","author":"lee","year":"2003","journal-title":"Proceedings of Monterey Workshop on Software Engineering for Embedded Systems From Requirements to Implementation"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018998524196"},{"key":"ref34","volume":"1241","author":"kiczales","year":"1997","journal-title":"Proceedings of European Conference of Object-Oriented Programming"},{"key":"ref60","year":"2008","journal-title":"System modeling language specification v1 1"},{"key":"ref62","year":"2010","journal-title":"System modeling language specification v1 2 standard specification"},{"key":"ref61","year":"2008","journal-title":"A UML profile for MARTE beta 2 OMG adopted specification ptc\/08-06-09"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2003.1213266"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1147140"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2002.1167525"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"ref65","author":"patel","year":"2004","journal-title":"SystemC Kernel Extensions for Heterogeneous System Modeling"},{"key":"ref66","author":"pree","year":"2006","journal-title":"Automotive Software Workshop San Diego (ASWSD) on Model-Driven Development of Reliable Automotive Services"},{"key":"ref29","year":"2002","journal-title":"1588 IEEE standard for a precision clock synchronization protocol for networked measurement and control systems"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2003.819898"},{"key":"ref68","article-title":"Defining platform-based design","author":"sangiovanni-vincentelli","year":"2002","journal-title":"EEDesign of EETimes"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2006.890107"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-6127-9"},{"key":"ref1","author":"abelson","year":"1996","journal-title":"Structure and Interpretation of Computer Programs"},{"key":"ref20","volume":"3785","author":"fecher","year":"2005","journal-title":"Proc Int Conf Formal Engineering Methods (ICFEM)"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/132277.132280"},{"key":"ref21","article-title":"Scalable models using model transformation","author":"feng","year":"2008","journal-title":"Proc 1st Int Workshop on Model Based Architecting and Construction of Embedded Systems"},{"key":"ref24","first-page":"7","article-title":"Compositional modeling in Metropolis","author":"goessler","year":"2002","journal-title":"Proc 1st Int Workshop Embedded Software"},{"key":"ref23","author":"fritzson","year":"2003","journal-title":"Principles of Object-Oriented Modeling and Simulation with Modelica 2 1"},{"key":"ref26","article-title":"ModHel'X: A component-oriented approach to multi-formalism modeling","author":"hardebolle","year":"2007","journal-title":"Proc Workshop Multi-Paradigm Model"},{"key":"ref25","first-page":"78","article-title":"An end-to-end tool chain for multi-view modeling and analysis of avionics mission computing software","author":"gu","year":"2003","journal-title":"Proc Real-Time Syst Symp"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/1289927.1289949"},{"key":"ref51","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1007\/978-3-642-04425-0_31","article-title":"Scalable semantic annotation using lattice-based ontologies","author":"leung","year":"2009","journal-title":"Proc Int'l Conf Model Driven Eng Languages and Systems"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.1999.755863"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1177\/0037549704050532"},{"key":"ref57","doi-asserted-by":"crossref","DOI":"10.2514\/4.479526","author":"moir","year":"2008","journal-title":"Aircraft Systems Mechanical Electrical and Avionics Subsystems Integration"},{"key":"ref56","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/BFb0032003","article-title":"From timed to hybrid systems","author":"maler","year":"1992","journal-title":"Real-Time Theory in Practice REX Workshop Proceedings"},{"key":"ref55","author":"liu","year":"2003","journal-title":"Software-Enabled Control Information Technology for Dynamical Systems"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.08.044"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1117\/12.341208"},{"key":"ref52","author":"liu","year":"2001","journal-title":"Responsible frameworks for heterogeneous modeling and design of embedded systems"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/CSD.2001.981761"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1561\/1000000001"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.25"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/43.945302"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/11557432_8","volume":"3713","author":"crane","year":"2005","journal-title":"Int Conf Model Driven Eng Lang Syst"},{"key":"ref14","article-title":"Jet pilot who saved 304 finds heroism tainted","author":"crossette","year":"2001","journal-title":"New York Times"},{"key":"ref15","first-page":"239","article-title":"A next-generation design framework for platform-based design","author":"davare","year":"2007","journal-title":"Proc Design Verification Conf"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/5.558710"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(02)00096-5"},{"key":"ref18","article-title":"A time-centric model for cyber–physical applications","author":"eidson","year":"2010","journal-title":"Proc 1st Int Workshop on Model Based Architecting and Construction of Embedded Systems"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805829"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1086228.1086276"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1193228"},{"key":"ref6","author":"booch","year":"1998","journal-title":"The Unified Modeling Language User Guide"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1002\/sys.20046"},{"key":"ref8","first-page":"114","article-title":"Model engineering using multimodeling","author":"brooks","year":"2008","journal-title":"Proc Int Workshop Model Co-Evolution Consistency Manage"},{"key":"ref7","author":"brooks","year":"2005","journal-title":"Hyvisual A Hybrid System Visual Modeler"},{"key":"ref49","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/978-3-540-31954-2_2","volume":"3414","author":"lee","year":"2005","journal-title":"Hybrid Systems Computation and Control (HSCC)"},{"key":"ref9","first-page":"155","article-title":"Ptolemy: A framework for simulating and prototyping heterogeneous systems","volume":"4","author":"buck","year":"1994","journal-title":"Int J Comp Sim"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/43.736561"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/5.381846"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-004-0043-8"},{"key":"ref47","first-page":"11","article-title":"Modal models in Ptolemy","volume":"47","author":"lee","year":"2010","journal-title":"Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/1550987.1550992"},{"key":"ref41","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/978-3-642-16129-2_20","article-title":"Disciplined heterogeneous modeling","author":"lee","year":"2010","journal-title":"Proc Model Driven Eng Lang Syst"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126603000751"},{"key":"ref43","author":"lee","year":"2009","journal-title":"From Semantics to Computer Science Essays in Memory of Gilles Kahn"}],"container-title":["Proceedings of the IEEE"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5\/6106039\/05995279.pdf?arnumber=5995279","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:53:13Z","timestamp":1642006393000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5995279\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1]]},"references-count":78,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/jproc.2011.2160929","relation":{},"ISSN":["0018-9219","1558-2256"],"issn-type":[{"value":"0018-9219","type":"print"},{"value":"1558-2256","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,1]]}}}