{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T10:25:44Z","timestamp":1730283944971,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T00:00:00Z","timestamp":1567296000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"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":8,"title":["Validating Industrial Requirements with a Contract-Based Approach"],"prefix":"10.1109","author":[{"given":"Matthias","family":"Bernaerts","sequence":"first","affiliation":[]},{"given":"Bentley","family":"Oakes","sequence":"additional","affiliation":[]},{"given":"Ken","family":"Vanherpen","sequence":"additional","affiliation":[]},{"given":"Bjorn","family":"Aelvoet","sequence":"additional","affiliation":[]},{"given":"Hans","family":"Vangheluwe","sequence":"additional","affiliation":[]},{"given":"Joachim","family":"Denil","sequence":"additional","affiliation":[]}],"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"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_19"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2009.9"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11245-9_1"},{"journal-title":"Seminar on Systems Assurance & Safety for Consumer Devices","article-title":"Meta modeling approach to safety standard for consumer devices","year":"2011","author":"taguchi","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38977-1_13"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2015.11.008"},{"key":"ref17","doi-asserted-by":"publisher","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"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15297-9_9"},{"journal-title":"A Practical Guide to SysML The Systems Modeling Language","year":"2014","author":"friedenthal","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"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"journal-title":"Contracts for Systems Design Theory","year":"2015","author":"benveniste","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"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2015.2398877"},{"journal-title":"ISO\/WD 26262-1 Road vehicles - Functional Safety","year":"2011","key":"ref2"},{"journal-title":"A contract-based approach for multi-viewpoint consistency in the concurrent design of cyber-physical systems","year":"2018","author":"vanherpen","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","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"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2017.7993389"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24953-7_20"},{"journal-title":"Generating automated and online test oracles for simulink models with continuous and uncertain behaviors","year":"2019","author":"menghi","key":"ref24"},{"key":"ref23","doi-asserted-by":"publisher","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":[[2022,7,18]],"date-time":"2022-07-18T11:32:34Z","timestamp":1658143954000},"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]]}}}