{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T20:31:48Z","timestamp":1776889908067,"version":"3.51.2"},"reference-count":0,"publisher":"SCITEPRESS - Science and Technology Publications","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.5220\/0008902302790286","type":"proceedings-article","created":{"date-parts":[[2020,3,13]],"date-time":"2020-03-13T10:19:51Z","timestamp":1584094791000},"page":"279-286","source":"Crossref","is-referenced-by-count":6,"title":["Chaining Model Transformations for System Model Verification: Application to Verify Capella Model with Simulink"],"prefix":"10.5220","author":[{"given":"Christophe","family":"Duhil","sequence":"first","affiliation":[{"name":"Thales Defense Mission System, Brest, France, --- Select a Country ---"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Philippe","family":"Babau","sequence":"first","affiliation":[{"name":"Lab-STICC, CNRS, UMR6285, Universit\u00e9 de Bretagne Occidentale, Brest, France, --- Select a Country ---"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Lepicier","sequence":"first","affiliation":[{"name":"Thales Defense Mission System, Brest, France, --- Select a Country ---"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Luc","family":"Voirin","sequence":"first","affiliation":[{"name":"Thales Defense Mission System, Brest, France, --- Select a Country ---"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan","family":"Navas","sequence":"first","affiliation":[{"name":"Thales Corporate Engineering, Velizy-Villacoublay, France, --- Select a Country ---"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"3171","event":{"name":"8th International Conference on Model-Driven Engineering and Software Development","location":"Valletta, Malta","start":{"date-parts":[[2020,2,25]]},"end":{"date-parts":[[2020,2,27]]}},"container-title":["Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development"],"original-title":["Chaining Model Transformations for System Model Verification: Application to Verify Capella Model with Simulink"],"deposited":{"date-parts":[[2020,3,17]],"date-time":"2020-03-17T19:00:42Z","timestamp":1584471642000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.scitepress.org\/DigitalLibrary\/Link.aspx?doi=10.5220\/0008902302790286"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2020]]},"references-count":0,"URL":"https:\/\/doi.org\/10.5220\/0008902302790286","relation":{},"subject":[],"published":{"date-parts":[[2020]]}}}