{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,29]],"date-time":"2026-03-29T16:30:47Z","timestamp":1774801847626,"version":"3.50.1"},"reference-count":44,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["European Journal of Control"],"published-print":{"date-parts":[[2012,1]]},"DOI":"10.3166\/ejc.18.217-238","type":"journal-article","created":{"date-parts":[[2012,8,13]],"date-time":"2012-08-13T16:06:41Z","timestamp":1344874001000},"page":"217-238","source":"Crossref","is-referenced-by-count":247,"title":["Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems*"],"prefix":"10.1016","volume":"18","author":[{"given":"Alberto","family":"Sangiovanni-Vincentelli","sequence":"first","affiliation":[]},{"given":"Werner","family":"Damm","sequence":"additional","affiliation":[]},{"given":"Roberto","family":"Passerone","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.3166\/ejc.18.217-238_bib0005","unstructured":"Road vehicles\u2014functional safety. Standard ISO 26262."},{"issue":"4","key":"10.3166\/ejc.18.217-238_bib0010","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1109\/MC.2003.1193228","article-title":"Metropolis: an integrated electronic system design environment","volume":"36","author":"Balarin","year":"2003","journal-title":"IEEE Computer"},{"key":"10.3166\/ejc.18.217-238_bib0015","first-page":"259","article-title":"Platform-based design and frameworks: Metropolis and metro ii","volume":"10","author":"Balarin","year":"2009"},{"issue":"10","key":"10.3166\/ejc.18.217-238_bib0020","doi-asserted-by":"crossref","first-page":"1749","DOI":"10.1109\/TCAD.2007.895792","article-title":"Specification, synthesis and simulation of transactor processes","volume":"26","author":"Balarin","year":"2007","journal-title":"IEEE Trans. Computer-Aided Design Integrated Circuits Syst"},{"key":"10.3166\/ejc.18.217-238_bib0025","series-title":"Proceedings of the Forum on Specification and Design Languages (FDL08)","first-page":"142","article-title":"A contract-based formalism for the specification of heterogeneous systems","author":"Benvenuti","year":"2008"},{"key":"10.3166\/ejc.18.217-238_bib0030","series-title":"The effectiveness of synchronous languages for the development of safety-critical systems","author":"Berry","year":"2003"},{"key":"10.3166\/ejc.18.217-238_bib0035","series-title":"The (Addison-Wesley Object Technology Series)","article-title":"Unified Modeling Language User Guide","author":"Booch","year":"2005"},{"issue":"6","key":"10.3166\/ejc.18.217-238_bib0040","doi-asserted-by":"crossref","first-page":"555","DOI":"10.1145\/268999.269004","article-title":"Compositional refinement of interactive systems","volume":"44","author":"Broy","year":"1997","journal-title":"J. ACM"},{"key":"10.3166\/ejc.18.217-238_bib0045","series-title":"Proceedings of 5th International Conference on Application of Concurrency to System Design (ACSD)","article-title":"Controlling speculative design processes using rich component models","author":"Damm","year":"2005"},{"key":"10.3166\/ejc.18.217-238_bib0050","series-title":"Proceedings of Foundations of Interface Technologies (FIT05)","article-title":"Boosting reuse of embedded automotive applications through rich components","author":"Damm","year":"2005"},{"key":"10.3166\/ejc.18.217-238_bib0055","series-title":"Design Verification Conference (DVCon)","article-title":"A nextgeneration design framework for platform-based design","author":"Davare","year":"2007"},{"key":"10.3166\/ejc.18.217-238_bib0060","series-title":"Proceedings of the Ninth Annual Symposium on Foundations of Software Engineering","first-page":"109","article-title":"Interface automata","author":"de Alfaro","year":"2001"},{"issue":"1","key":"10.3166\/ejc.18.217-238_bib0065","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1109\/JPROC.2011.2160929","article-title":"Modeling cyber-physical systems","volume":"100","author":"Derler","year":"2012","journal-title":"Proc. IEEE"},{"key":"10.3166\/ejc.18.217-238_bib0070","series-title":"Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits. ACM Distinguished Dissertations","author":"Dill","year":"1989"},{"key":"10.3166\/ejc.18.217-238_bib0075","series-title":"Proceedings of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010)","article-title":"Robustness of sequential circuits","author":"Doyen","year":"2010"},{"issue":"1","key":"10.3166\/ejc.18.217-238_bib0080","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1109\/JPROC.2002.805829","article-title":"Taming heterogeneity - the ptolemy approach","volume":"91","author":"Eker","year":"2003","journal-title":"Proc IEEE"},{"key":"10.3166\/ejc.18.217-238_bib0085","series-title":"Proceedgins of the 8th International Conference on Model Driven Engineering Languages and Systems (MODELS05)","article-title":"Weaving executability into object-oriented meta-languages","author":"Fleurey","year":"2005"},{"key":"10.3166\/ejc.18.217-238_bib0090","volume":"2.1","author":"Fritzson","year":"2003"},{"issue":"3","key":"10.3166\/ejc.18.217-238_bib0095","doi-asserted-by":"crossref","first-page":"555","DOI":"10.1145\/233551.233556","article-title":"Branching time and abstraction in bisimulation semantics","volume":"43","author":"Glabbeek","year":"1996","journal-title":"J ACM"},{"key":"10.3166\/ejc.18.217-238_bib0100","first-page":"378","article-title":"Smart play-out of behavioral requirements","author":"Harel","year":"2002","journal-title":"FMCAD"},{"key":"10.3166\/ejc.18.217-238_bib0105","series-title":"Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine","author":"Harel","year":"2003"},{"key":"10.3166\/ejc.18.217-238_bib0110","first-page":"485","article-title":"Planned and traversable play-out: A flexible method for executing scenario-based programs","author":"Harel","year":"2007","journal-title":"TACAS"},{"key":"10.3166\/ejc.18.217-238_bib0115","series-title":"Introduction to Simulink with Engineering Applications","author":"Karris","year":"2006"},{"issue":"1","key":"10.3166\/ejc.18.217-238_bib0120","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1109\/JPROC.2002.805824","article-title":"Modelintegrated development of embedded software","volume":"91","author":"Karsai","year":"2003","journal-title":"Proc IEEE"},{"issue":"1","key":"10.3166\/ejc.18.217-238_bib0125","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/j.ic.2005.01.006","article-title":"Bridging the gap between fair simulation and trace inclusion","volume":"200","author":"Kesten","year":"2005","journal-title":"Information and Computing"},{"key":"10.3166\/ejc.18.217-238_bib0130","series-title":"SAE International Congress and Exhibition (2000-01-1382)","first-page":"6","article-title":"Composability in the time-triggered architecture","author":"Kopetz","year":"2000"},{"issue":"6","key":"10.3166\/ejc.18.217-238_bib0135","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1109\/MC.2003.1204375","article-title":"Iterative and incremental developments: a brief history","volume":"36","author":"Larman","year":"2003","journal-title":"Computer"},{"key":"10.3166\/ejc.18.217-238_bib0140","series-title":"Proceedings of the 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC08)","first-page":"363","article-title":"Cyber physical systems: Design challenges","author":"Lee","year":"2008"},{"key":"10.3166\/ejc.18.217-238_bib0145","article-title":"Process spaces","volume":"1877","author":"Negulescu","year":"2000"},{"key":"10.3166\/ejc.18.217-238_bib0150","unstructured":"Object Management Group (OMG). Model driven architecture (MDA) FAQ. [online], http:\/\/www.omg.org\/mda\/."},{"key":"10.3166\/ejc.18.217-238_bib0155","unstructured":"Object Management Group (OMG). Unified Modeling Language (UML) specification. [online], http:\/\/www.omg.org\/spec\/UML\/."},{"key":"10.3166\/ejc.18.217-238_bib0160","unstructured":"Object Management Group (OMG). A UML profile for MARTE, beta 1. OMG Adopted Specification ptc\/07-08-04, OMG, August 2007."},{"key":"10.3166\/ejc.18.217-238_bib0165","unstructured":"Object Management Group (OMG). System modeling language specification v1.1. Technical report, OMG, 2008."},{"key":"10.3166\/ejc.18.217-238_bib0170","unstructured":"The Design Automation Standards Committee of the IEEE Computer Society, editor. 1850-2010\u2014IEEE Standard for Property Specification Language (PSL). IEEE Computer Society, 2010."},{"key":"10.3166\/ejc.18.217-238_bib0175","article-title":"The Architecture Analysis and Design Language (AADL): An Introduction","author":"Hudak","year":"2006","journal-title":"Software Engineering Institute (SEI) Technical Note"},{"key":"10.3166\/ejc.18.217-238_bib0180","series-title":"Proceedings of International Conference on Computer Aided Design","article-title":"Convertibility verification and converter synthesis: Two faces of the same coin","author":"Passerone","year":"2002"},{"issue":"3","key":"10.3166\/ejc.18.217-238_bib0185","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/MDT.2009.64","article-title":"Metamodels in Europe: Languages, tools, and applications","volume":"26","author":"Passerone","year":"2009","journal-title":"IEEE Design Test Computers"},{"key":"10.3166\/ejc.18.217-238_bib0190","doi-asserted-by":"crossref","first-page":"1399","DOI":"10.1016\/j.cad.2005.02.010","article-title":"A product information modeling framework for product lifecycle management","volume":"37","author":"Sudarsan","year":"2005","journal-title":"Computer-Aided Design"},{"key":"10.3166\/ejc.18.217-238_bib0195","series-title":"Proceedings of the Ninth International Conference on Embedded Software (EMSOFT09)","first-page":"87","article-title":"Modal interfaces: Unifying interface automata and modal specifications","author":"Raclet","year":"2009"},{"issue":"1\u20132","key":"10.3166\/ejc.18.217-238_bib0200","doi-asserted-by":"crossref","first-page":"119","DOI":"10.3233\/FI-2011-416","article-title":"A modal interface theory for component-based design","volume":"108","author":"Raclet","year":"2011","journal-title":"Fundamenta Informaticae"},{"issue":"3","key":"10.3166\/ejc.18.217-238_bib0205","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1109\/MDT.2009.62","article-title":"Metamodeling: An emerging representation paradigm for system-level design","volume":"26","author":"Sangiovanni-Vincentelli","year":"2009","journal-title":"Special Section on Meta-Modeling, IEEE Design and Test"},{"key":"10.3166\/ejc.18.217-238_bib0210","unstructured":"Functional safety of electrical\/electronic\/programmable electronic safety-related systems. Standard IEC 61508."},{"key":"10.3166\/ejc.18.217-238_bib0215","series-title":"Proceedings of the 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS07)","first-page":"3","article-title":"Composition of cyber-physical systems","author":"Sztipanovits","year":"2007"},{"key":"10.3166\/ejc.18.217-238_bib0220","series-title":"Seminar at the University of California","article-title":"Timing problems and opportunities for embedded control systems modeling and co-design","author":"T\u00f6rngren","year":"2011"}],"container-title":["European Journal of Control"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0947358012709433?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0947358012709433?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,7,12]],"date-time":"2020-07-12T14:37:30Z","timestamp":1594564650000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0947358012709433"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1]]},"references-count":44,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2012,1]]}},"alternative-id":["S0947358012709433"],"URL":"https:\/\/doi.org\/10.3166\/ejc.18.217-238","relation":{},"ISSN":["0947-3580"],"issn-type":[{"value":"0947-3580","type":"print"}],"subject":[],"published":{"date-parts":[[2012,1]]}}}