{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,29]],"date-time":"2026-06-29T17:15:55Z","timestamp":1782753355385,"version":"3.54.5"},"reference-count":69,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"12","license":[{"start":{"date-parts":[[2014,12,1]],"date-time":"2014-12-01T00:00:00Z","timestamp":1417392000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS 1035800-NSF"],"award-info":[{"award-number":["CNS 1035800-NSF"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-0926181"],"award-info":[{"award-number":["CCF-0926181"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2014,12]]},"DOI":"10.1109\/tac.2014.2351672","type":"journal-article","created":{"date-parts":[[2014,9,25]],"date-time":"2014-09-25T19:49:14Z","timestamp":1411674554000},"page":"3178-3193","source":"Crossref","is-referenced-by-count":75,"title":["Supporting Heterogeneity in Cyber-Physical Systems Architectures"],"prefix":"10.1109","volume":"59","author":[{"given":"Akshay","family":"Rajhans","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ajinkya","family":"Bhave","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ivan","family":"Ruchkin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bruce H.","family":"Krogh","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"David","family":"Garlan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andre","family":"Platzer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bradley","family":"Schmerl","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/5.871304"},{"key":"ref38","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1007\/s10009-007-0062-x","article-title":"PHAVer: Algorithmic verification of hybrid systems past HyTech","volume":"10","author":"frehse","year":"2008","journal-title":"Int J Software Tools Technol Transfer"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2004.1317497"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/258077.258078"},{"key":"ref31","author":"moriconi","year":"1997","journal-title":"Introduction to Sadl 1 0 a language for specifying software architecture hierarchies"},{"key":"ref30","author":"magee","year":"2006","journal-title":"Concurrency State Models and Java Programming"},{"key":"ref37","article-title":"Accurate hybridization of nonlinear systems","author":"dang","year":"0","journal-title":"Proc Int Conf Hybrid Syst Comput Control"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/9.664156"},{"key":"ref35","author":"feiler","year":"2007","journal-title":"Developing AADL models for control systems A practitioner's guide"},{"key":"ref34","article-title":"Bridging the gap between systems design and space systems software","author":"garlan","year":"0","journal-title":"29th Annual IEEE\/NASA Software Engineering Workshop"},{"key":"ref60","article-title":"Augmenting software architectures with physical components","author":"bhave","year":"0","journal-title":"Proceedings of Embedded Real Time Software and Systems"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2011.17"},{"key":"ref61","author":"bhave","year":"2011","journal-title":"Multi-view consistency in architectural views for cyber-physical systems"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.5296\/npa.v2i3.480"},{"key":"ref28","author":"feiler","year":"2006","journal-title":"The Architecture Analysis and Design Language (AADL) An Introduction"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185641"},{"key":"ref27","year":"0","journal-title":"SysML"},{"key":"ref65","author":"rajhans","year":"2013","journal-title":"Multi-model heterogeneous verification of cyber-physical systems"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461368"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/226241.226244"},{"key":"ref67","author":"clements","year":"2010","journal-title":"Documenting Software Architectures Views and Beyond"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6161408"},{"key":"ref69","first-page":"171","article-title":"KeYmaera: A Hybrid Theorem Prover for Hybrid Systems.","volume":"5195","author":"platzer","year":"2008","journal-title":"IJCAR"},{"key":"ref2","year":"0","journal-title":"CICAS-SSA Concept of Operations"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.2514\/6.2008-7410"},{"key":"ref20","article-title":"Combined usage of UML and Simulink in the design of embedded systems: Investigating scenarios and structural and behavioral mapping","author":"shi","year":"0","journal-title":"Proc of 4th Workshop on Object-oriented Modeling of Embedded Real-time System"},{"key":"ref22","author":"shaw","year":"1996","journal-title":"Software Architecture Perspectives on an Emerging Discipline"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1115\/1.4005452"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/32.825767"},{"key":"ref23","author":"bass","year":"2003","journal-title":"Software Architecture in Practice"},{"key":"ref26","author":"rumbaugh","year":"2004","journal-title":"The Unified Modeling Language Reference Manual"},{"key":"ref25","article-title":"Architecture-driven modelling and analysis","volume":"69","author":"garlan","year":"0","journal-title":"Proc 11th Austral Workshop Safety Related Programm Syst"},{"key":"ref50","first-page":"393","article-title":"Scalable semantic annotation using lattice-based ontologies","author":"leung","year":"0","journal-title":"Proc 12th Int Conf Model Driven Eng Lang Syst"},{"key":"ref51","doi-asserted-by":"crossref","first-page":"370","DOI":"10.1007\/978-3-540-31954-2_24","article-title":"An ontology-based approach to heterogeneous verification of embedded control systems","volume":"3414","author":"kumar","year":"2005","journal-title":"Hybrid Syst Comput Control"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2007.906923"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1049\/iet-sen.2009.0011"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-008-9103-8"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1145\/509705.509707"},{"key":"ref55","author":"frehse","year":"2005","journal-title":"Compositional Verification of Hybrid Systems Using Simulation Relations"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_8"},{"key":"ref53","author":"faber","year":"2011","journal-title":"Verification Architectures for Complex Real-time Systems"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14808-8_3"},{"key":"ref10","first-page":"231","article-title":"Model-based development of embedded systems: The sysweaver approach","author":"de niz","year":"0","journal-title":"Proc IEEE Real-Time Technology and Applications Symp"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/949344.949360"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/9.948467"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/778553.778557"},{"key":"ref13","doi-asserted-by":"crossref","DOI":"10.1109\/CACSD.2000.900199","article-title":"DEVS as a common denominator for multi-formalism hybrid systems modeling","author":"vangheluwe","year":"0","journal-title":"Proc IEEE Int Symp Comput -Aided Control Syst Design"},{"key":"ref14","article-title":"Interchange semantics for hybrid system models","author":"pinto","year":"0","journal-title":"Proc 5th MATHMOD"},{"key":"ref15","first-page":"78","article-title":"A model-based approach to system-level dependency and real-time analysis of embedded software","author":"gu","year":"0","journal-title":"Proc 9th IEEE Real-Time Embedded Technol Applicat Symp"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1086228.1086236"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1193228"},{"key":"ref18","article-title":"A next-generation design framework for platform-based design","author":"davare","year":"0","journal-title":"Proc Conf Using Hardware Design Verificat Lang (DVCon)"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.3384\/ecp09430081"},{"key":"ref4","author":"gorjestani","year":"2008","journal-title":"CICAS-SSA Report #1 Alert and warning timing for CICAS-SSA"},{"key":"ref3","author":"gorjestani","year":"2008","journal-title":"CICAS-SSA Report #2 The design of an optimal surveillance system"},{"key":"ref6","first-page":"65","article-title":"Computer automated multi-paradigm modeling in control system design","volume":"12","author":"mosterman","year":"0","journal-title":"Proc Int Conf Comput -Aided Control Syst Design"},{"key":"ref5","author":"menon","year":"2008","journal-title":"CICAS-SSA Report #3 Macroscopic review of driver gap acceptance and rejection behavior in the US"},{"key":"ref8","first-page":"143","article-title":"Naomi-an experimental platform for multi-modeling","author":"denton","year":"0","journal-title":"Proc 11th Int'l Conf Model Driven Eng Languages and Systems"},{"key":"ref7","article-title":"System architecture virtual integration: A case study","author":"feiler","year":"0","journal-title":"Proceedings of Embedded Real Time Software and Systems"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/JSEN.2012.2211098"},{"key":"ref9","author":"bhattacharyya","year":"2003","journal-title":"Ptolemy II Heterogeneous concurrent modeling and design in Java"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59615-5_13"},{"key":"ref45","author":"julius","year":"2005","journal-title":"On interconnection and equivalence of continuous and discrete systems A behavioral perspective"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.18.217-238"},{"key":"ref47","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/978-3-540-92188-2_9","article-title":"Multiple viewpoint contract-based specification and design","volume":"5382","author":"benveniste","year":"2008","journal-title":"Formal Methods for Components and Objects"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2011.6105400"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/1132357.1132363"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/1376804.1376811"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/43.736561"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/6960933\/06882828.pdf?arnumber=6882828","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:01:04Z","timestamp":1642003264000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6882828\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,12]]},"references-count":69,"journal-issue":{"issue":"12"},"URL":"https:\/\/doi.org\/10.1109\/tac.2014.2351672","relation":{},"ISSN":["0018-9286","1558-2523","2334-3303"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"},{"value":"2334-3303","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,12]]}}}