{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T17:55:38Z","timestamp":1757613338174,"version":"3.44.0"},"reference-count":24,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T00:00:00Z","timestamp":1567296000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T00:00:00Z","timestamp":1567296000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,9]]},"DOI":"10.1109\/models-c.2019.00010","type":"proceedings-article","created":{"date-parts":[[2019,11,25]],"date-time":"2019-11-25T14:53:32Z","timestamp":1574693612000},"page":"18-27","source":"Crossref","is-referenced-by-count":9,"title":["Validating Industrial Requirements with a Contract-Based Approach"],"prefix":"10.1109","author":[{"given":"Matthias","family":"Bernaerts","sequence":"first","affiliation":[{"name":"University of Antwerp"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bentley","family":"Oakes","sequence":"additional","affiliation":[{"name":"University of Antwerp"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ken","family":"Vanherpen","sequence":"additional","affiliation":[{"name":"University of Antwerp"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bjorn","family":"Aelvoet","sequence":"additional","affiliation":[{"name":"Dana Belgium NV"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans","family":"Vangheluwe","sequence":"additional","affiliation":[{"name":"University of Antwerp"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joachim","family":"Denil","sequence":"additional","affiliation":[{"name":"University of Antwerp"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"167","article-title":"Breach, a toolbox for verification and parameter synthesis of hybrid systems","author":"donz\u00e9","year":"0","journal-title":"International Conference on Computer Aided Verification"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1007\/978-3-642-39799-8_19"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1109\/RE.2009.9"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1007\/978-3-319-11245-9_1"},{"key":"ref14","article-title":"Meta modeling approach to safety standard for consumer devices","author":"taguchi","year":"2011","journal-title":"Seminar on Systems Assurance & Safety for Consumer Devices"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1007\/978-3-642-38977-1_13"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1016\/j.infsof.2015.11.008"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1109\/ASE.2013.6693137"},{"key":"ref18","first-page":"126","article-title":"Compositional verification of architectural models","author":"cofer","year":"0","journal-title":"Proceedings of the Nasa Formal Methods Symposium"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1007\/978-3-642-15297-9_9"},{"year":"2014","author":"friedenthal","journal-title":"A Practical Guide to SysML The Systems Modeling Language","key":"ref4"},{"key":"ref3","first-page":"1","article-title":"Survey of model-based systems engineering methodologies","volume":"25","author":"estefan","year":"2007","journal-title":"INCOSE MBSE Focus Group"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1007\/978-3-540-30206-3_12"},{"year":"2015","author":"benveniste","journal-title":"Contracts for Systems Design Theory","key":"ref5"},{"key":"ref8","first-page":"411","article-title":"Patterns in property specifications for finite-state verification","author":"dwyer","year":"0","journal-title":"Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat No 99CB37002) ICSE-99"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1109\/TSE.2015.2398877"},{"year":"2011","journal-title":"ISO\/WD 26262-1 Road vehicles - Functional Safety","key":"ref2"},{"year":"2018","author":"vanherpen","journal-title":"A contract-based approach for multi-viewpoint consistency in the concurrent design of cyber-physical systems","key":"ref1"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1007\/s10270-006-0017-9"},{"key":"ref20","first-page":"303","article-title":"Amt 2.0: qualitative and quantitative trace analysis with extended signal temporal logic","author":"ni?kovi\u00e9","year":"0","journal-title":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1109\/SIES.2017.7993389"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1007\/978-3-319-24953-7_20"},{"year":"2019","author":"menghi","journal-title":"Generating automated and online test oracles for simulink models with continuous and uncertain behaviors","key":"ref24"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1109\/JSYST.2016.2614599"}],"event":{"name":"2019 ACM\/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)","start":{"date-parts":[[2019,9,15]]},"location":"Munich, Germany","end":{"date-parts":[[2019,9,20]]}},"container-title":["2019 ACM\/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8892449\/8904463\/08904803.pdf?arnumber=8904803","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,4]],"date-time":"2025-09-04T18:20:21Z","timestamp":1757010021000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8904803\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/models-c.2019.00010","relation":{},"subject":[],"published":{"date-parts":[[2019,9]]}}}