{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T14:52:13Z","timestamp":1772549533524,"version":"3.50.1"},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,9]]},"DOI":"10.1109\/fdl.2008.4641436","type":"proceedings-article","created":{"date-parts":[[2008,10,14]],"date-time":"2008-10-14T15:14:34Z","timestamp":1223997274000},"page":"142-147","source":"Crossref","is-referenced-by-count":24,"title":["A contract-based formalism for the specification of heterogeneous systems"],"prefix":"10.1109","author":[{"given":"Luca","family":"Benvenuti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Ferrari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leonardo","family":"Mangeruca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emanuele","family":"Mazzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Passerone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christos","family":"Sofronis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-78929-1_5","article-title":"contract-based design for computation and verification of a closed-loop hybrid system","author":"benvenuti","year":"2008","journal-title":"Proceedings of the Hybrid System Computation and Control (HSCC08)"},{"key":"2","article-title":"multiple viewpoint contractbased specification and design","author":"benveniste","year":"2007","journal-title":"Lecture Notes in Computer Science"},{"key":"10","year":"0"},{"key":"1","article-title":"ariadne: a framework for reachability analysis of hybrid automata","author":"balluchi","year":"2006","journal-title":"Proceedings of the 17th International Symposium on Mathematical Theory of Networks and Systems"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/503209.503226"},{"key":"6","doi-asserted-by":"crossref","DOI":"10.1145\/1176887.1176888","article-title":"embedded system development for automotive applications: trends and challenges","author":"damm","year":"2006","journal-title":"Proceedings of the 6th ACM & IEEE International conference on Embedded software (EMSOFT06)"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.05.001"},{"key":"4","article-title":"the airbus approach to open integrated modular avionics: technology, functions, industrial processes and future development roadmap","author":"butz","year":"2007","journal-title":"International Workshop on Aircraft System Technologies"},{"key":"9","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-44618-4_16","article-title":"process spaces","volume":"1877","author":"negulescu","year":"2000","journal-title":"Lecture Notes in Computer Science"},{"key":"8","article-title":"trace theory for automatic hierarchical verification of speedindependent circuits","author":"dill","year":"1989","journal-title":"ACM Distinguished"}],"event":{"name":"2008 Forum on Specification, Verification & Design Languages (FDL)","location":"Stuttgart","start":{"date-parts":[[2008,9,23]]},"end":{"date-parts":[[2008,9,25]]}},"container-title":["2008 Forum on Specification, Verification and Design Languages"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4636106\/4641405\/04641436.pdf?arnumber=4641436","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,2]],"date-time":"2020-02-02T16:17:03Z","timestamp":1580660223000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/4641436\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/fdl.2008.4641436","relation":{},"subject":[],"published":{"date-parts":[[2008,9]]}}}