{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T15:08:25Z","timestamp":1761491305204,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,9,13]],"date-time":"2021-09-13T00:00:00Z","timestamp":1631491200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,9,13]],"date-time":"2021-09-13T00:00:00Z","timestamp":1631491200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,9,13]],"date-time":"2021-09-13T00:00:00Z","timestamp":1631491200000},"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":[[2021,9,13]]},"DOI":"10.1109\/isse51541.2021.9582470","type":"proceedings-article","created":{"date-parts":[[2021,10,28]],"date-time":"2021-10-28T19:39:46Z","timestamp":1635449986000},"page":"1-8","source":"Crossref","is-referenced-by-count":3,"title":["State Machines Consistency between Model Based System Engineering and Safety Assessment Models"],"prefix":"10.1109","author":[{"given":"Julien","family":"Vidalie","sequence":"first","affiliation":[]},{"given":"Mohamed-Sami","family":"Kendel","sequence":"additional","affiliation":[]},{"given":"Faida","family":"Mhenni","sequence":"additional","affiliation":[]},{"given":"Michel","family":"Batteux","sequence":"additional","affiliation":[]},{"given":"Jean-Yves","family":"Choley","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"System Structure Modeling Language (S2ML)","year":"2015","author":"batteux","key":"ref10"},{"key":"ref11","article-title":"Towards Model Synchronization in Model Driven Engineering of Mechatronic Systems","author":"berriche","year":"2019","journal-title":"IEEE ISSSE"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/SYSCON.2018.8369561"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-07512-9_1"},{"key":"ref14","article-title":"Typology of the differences Between Model-Based System Engineering (MBSE) and Safety Assessment (MBSA) models: Analysis of a Reference System","volume":"22","author":"vidalie","year":"2020","journal-title":"lambda mu"},{"journal-title":"OMG Unified Modeling Language Version 1 4","year":"2017","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1243\/1748006XJRR177"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/235321.235322"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1002\/sys.21469"},{"key":"ref7","first-page":"126","author":"batteux","year":"2017","journal-title":"AltaRica 3 0 Language Specification"},{"journal-title":"OMG Systems Modeling Language (OMG SysML™)","year":"2018","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSE46696.2019.8984515"},{"key":"ref9","article-title":"Synchronization of system architecture, multi-physics and safety models","author":"batteux","year":"2019","journal-title":"Proceedings of the Tenth International Conference on Complex Systems Design and Management CSDM 2019"}],"event":{"name":"2021 IEEE International Symposium on Systems Engineering (ISSE)","start":{"date-parts":[[2021,9,13]]},"location":"Vienna, Austria","end":{"date-parts":[[2021,10,13]]}},"container-title":["2021 IEEE International Symposium on Systems Engineering (ISSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9582418\/9582438\/09582470.pdf?arnumber=9582470","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T16:55:46Z","timestamp":1652201746000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9582470\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,13]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/isse51541.2021.9582470","relation":{},"subject":[],"published":{"date-parts":[[2021,9,13]]}}}