{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T18:09:35Z","timestamp":1729620575657,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/eurmic.2004.1333355","type":"proceedings-article","created":{"date-parts":[[2004,11,8]],"date-time":"2004-11-08T16:27:50Z","timestamp":1099931270000},"page":"48-55","source":"Crossref","is-referenced-by-count":10,"title":["Logical-time contracts for reactive embedded components"],"prefix":"10.1109","author":[{"given":"F.","family":"Maraninchi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Morel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1049\/sej.1992.0033","article-title":"specifications are (preferably) executable","volume":"7","author":"fuchs","year":"1992","journal-title":"Software Engineering Journal"},{"doi-asserted-by":"publisher","key":"17","DOI":"10.1109\/43.103497"},{"key":"18","article-title":"Synchronous observers and the verification of reactive systems","author":"halbwachs","year":"1993","journal-title":"Third Int Conf on Algebraic Methodology and Software Technology AMAST'93"},{"key":"15","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1007\/3-540-45669-4_8","article-title":"An OCL extension for realtime constraints","volume":"2263","author":"flake","year":"2001","journal-title":"Lecture Notes in Computer Science"},{"key":"16","article-title":"Jass-java with assertions","author":"bartetzko","year":"2001","journal-title":"Runtime Verification Volume 55 of ENTCS"},{"doi-asserted-by":"publisher","key":"13","DOI":"10.1145\/503209.503226"},{"key":"14","first-page":"53","author":"ziemann","year":"2002","journal-title":"An Extension of OCL with Temporal Logic In Critical Systems Development with UML-Proceedings of the UML'02 Workshop"},{"year":"1992","author":"mcmillan","journal-title":"The SMV System Symbolic Model Checking-an Approach","key":"11"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.1109\/LICS.1996.561320"},{"doi-asserted-by":"publisher","key":"21","DOI":"10.1109\/ECBS.2000.839871"},{"year":"1988","author":"meyer","journal-title":"Eiffel An Introduction Interactive Software Eng","key":"3"},{"doi-asserted-by":"publisher","key":"20","DOI":"10.1109\/REAL.1998.739746"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1109\/2.161279"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1007\/978-3-642-82453-1_17"},{"key":"10","first-page":"321","article-title":"Specification and design of (parallel) programs","author":"jones","year":"1983","journal-title":"Proceedings of IFIP '83 IFIP"},{"key":"7","article-title":"Synchronous modeling of asynchronous systems","author":"halbwachs","year":"2002","journal-title":"EMSOFT'02 Grenoble LNCS 2491"},{"year":"1990","author":"hayes","journal-title":"Specifications are not (necessarily) executable","key":"6"},{"year":"1997","journal-title":"Object Constraint Language Specification Version 1 1","key":"5"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1109\/TOOLS.1998.711021"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1109\/32.159839"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1109\/CSD.2004.1309116"}],"event":{"name":"Proceedings. 30th Euromicro Conference, 2004.","start":{"date-parts":[[2004,9,3]]},"location":"Rennes, France","end":{"date-parts":[[2004,9,3]]}},"container-title":["Proceedings. 30th Euromicro Conference, 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9268\/29441\/01333355.pdf?arnumber=1333355","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T11:38:17Z","timestamp":1497613097000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1333355\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/eurmic.2004.1333355","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}