{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T16:40:59Z","timestamp":1783701659981,"version":"3.55.0"},"reference-count":46,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"11","license":[{"start":{"date-parts":[[2015,11,1]],"date-time":"2015-11-01T00:00:00Z","timestamp":1446336000000},"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":[[2015,11]]},"DOI":"10.1109\/jproc.2015.2484060","type":"journal-article","created":{"date-parts":[[2015,10,15]],"date-time":"2015-10-15T18:34:42Z","timestamp":1444934082000},"page":"2093-2103","source":"Crossref","is-referenced-by-count":24,"title":["System Design Automation: Challenges and Limitations"],"prefix":"10.1109","volume":"103","author":[{"given":"Joseph","family":"Sifakis","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-013-9096-9"},{"key":"ref38","doi-asserted-by":"crossref","first-page":"614","DOI":"10.1007\/978-3-642-02658-4_45","article-title":"D-finder: A tool for compositional deadlock detection and verification","volume":"5643","author":"bensalem","year":"2009","journal-title":"Computer Aided Verification"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.180"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ISPCS.2007.4383774"},{"key":"ref31","article-title":"A definition and classification of timing anomalies","author":"reineke","year":"0","journal-title":"Proc 6th Int Workshop Worst-Case Execution Time (WCET) Anal"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/1879021.1879052"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/239098.239104"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/1925805.1925814"},{"key":"ref35","doi-asserted-by":"crossref","first-page":"508","DOI":"10.1007\/978-3-540-85361-9_39","article-title":"A notion of glue expressiveness for component-based systems","volume":"5201","author":"bliudze","year":"2008","journal-title":"CONCUR 2008—Concurrency Theory"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2010.2069102"},{"key":"ref10","year":"0","journal-title":"Liberty alliance"},{"key":"ref40","author":"passerone","year":"2004","journal-title":"Semantic foundations for heterogeneous systems"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1039174.1039176"},{"key":"ref12","year":"2005","journal-title":"The Second National Software Summit Software 2015 A national software strategy to ensure U S security and competitiveness"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.2"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1139922.1139924"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/MITP.2009.41"},{"key":"ref16","first-page":"27","article-title":"The meanings of trust","author":"mcknight","year":"2001","journal-title":"Trust in Cyber-Societies"},{"key":"ref17","author":"marsh","year":"1994","journal-title":"Formalising trust as a computational concept"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24747-0_25"},{"key":"ref19","author":"mulligany","year":"2011","journal-title":"Doctrine for cybersecurity"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805824"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2006.890107"},{"key":"ref27","year":"2014","journal-title":"Model Driven Architecture (MDA) Guide Revision 2 0 Document—Ormsc\/14-06-01 (MDA Guide Revision 2 0)"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2011.14"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2435227.2435245"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.843874"},{"key":"ref5","author":"brooks","year":"2005","journal-title":"Heterogeneous concurrent modeling and design in Java"},{"key":"ref8","year":"0","journal-title":"Rigorous design of component-based systems—The BIP component framework"},{"key":"ref7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-54848-2_16","article-title":"OpenMETA: A model and component-based design tool chain for cyber-physical systems","author":"sztipanovits","year":"2014","journal-title":"From Programs to Systems—The Systems Perspective in Computing (FPS 2014)"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2160929"},{"key":"ref9","year":"0","journal-title":"Trusted Computing Group"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2007.364"},{"key":"ref46","article-title":"Library-based scalable refinement checking for contract-based design","author":"iannopollo","year":"0","journal-title":"Proc Design Autom Test Eur Conf Exhibit"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1592761.1592781"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2011.5970506"},{"key":"ref22","year":"1998","journal-title":"The Adelard safety case development"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1348250.1348253"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2013.2295764"},{"key":"ref24","year":"0","journal-title":"Assurance Cases"},{"key":"ref41","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s10703-006-0024-z","article-title":"Refinement preserving approximations for the design and verification of heterogeneous systems","volume":"31","author":"burch","year":"2007","journal-title":"Formal Methods Syst Design"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35873-9_18"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10431-7_10"},{"key":"ref26","author":"watt","year":"1987","journal-title":"Ada Language and Methodology"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.02.013"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2231-4"}],"container-title":["Proceedings of the IEEE"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/5\/7302610\/07299254.pdf?arnumber=7299254","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T15:58:43Z","timestamp":1642003123000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7299254\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11]]},"references-count":46,"journal-issue":{"issue":"11"},"URL":"https:\/\/doi.org\/10.1109\/jproc.2015.2484060","relation":{},"ISSN":["0018-9219","1558-2256"],"issn-type":[{"value":"0018-9219","type":"print"},{"value":"1558-2256","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,11]]}}}