{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T01:02:02Z","timestamp":1725411722902},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,3]]},"DOI":"10.1109\/iceccs.2010.12","type":"proceedings-article","created":{"date-parts":[[2010,11,19]],"date-time":"2010-11-19T21:27:01Z","timestamp":1290202021000},"page":"319-324","source":"Crossref","is-referenced-by-count":4,"title":["An MDE-Based Process for the Design, Implementation and Validation of Safety-Critical Systems"],"prefix":"10.1109","author":[{"given":"Julien","family":"Delange","sequence":"first","affiliation":[]},{"given":"Laurent","family":"Pautet","sequence":"additional","affiliation":[]},{"given":"Jerome","family":"Hugues","sequence":"additional","affiliation":[]},{"given":"Dionisio de","family":"Niz","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/RSP.2008.19"},{"journal-title":"Matlab\/simulink model as a tool for process design and commissioning","year":"2004","author":"hales","key":"ref3"},{"journal-title":"Architecture Analysis & Design Language v2 0 (AS5506)","year":"2008","key":"ref10"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/32.825767"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.58"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1002\/1099-1670(200006\/09)5:2\/3<147::AID-SPIP122>3.0.CO;2-T"},{"year":"0","key":"ref8"},{"journal-title":"Mda guide version 1 0 1 Technical report Object Management Group (OMG)","year":"2003","author":"miller","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2006.30"},{"key":"ref9","article-title":"The Architecture Analysis and Design Language (AADL)","author":"feiler","year":"0","journal-title":"An introduction Technical report 02 2006"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194096000107"}],"event":{"name":"2010 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS)","start":{"date-parts":[[2010,3,22]]},"location":"Oxford, United Kingdom","end":{"date-parts":[[2010,3,26]]}},"container-title":["2010 15th IEEE International Conference on Engineering of Complex Computer Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5626943\/5628545\/05628590.pdf?arnumber=5628590","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,19]],"date-time":"2017-03-19T04:07:52Z","timestamp":1489896472000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5628590\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,3]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/iceccs.2010.12","relation":{},"subject":[],"published":{"date-parts":[[2010,3]]}}}