{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T08:25:31Z","timestamp":1730276731161,"version":"3.28.0"},"reference-count":28,"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.9582486","type":"proceedings-article","created":{"date-parts":[[2021,10,28]],"date-time":"2021-10-28T19:39:46Z","timestamp":1635449986000},"page":"1-6","source":"Crossref","is-referenced-by-count":3,"title":["A Categorical Framework for Collaborative Design of Safety Critical Mechatronic Systems"],"prefix":"10.1109","author":[{"given":"Nourhene","family":"Abdeljabbar","sequence":"first","affiliation":[]},{"given":"Faida","family":"Mhenni","sequence":"additional","affiliation":[]},{"given":"Jean-Yves","family":"Choley","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1201\/b17480-7"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/SYSCON.2017.7934797"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/SYSCON.2018.8369508"},{"journal-title":"A formal systems engineering methodology for cyberphysical systems The verifiable design process","year":"2019","author":"kibret","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2016.2547460"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.3390\/app10103577"},{"journal-title":"Modelica - A Unified Object-Oriented Language for Systems Modeling Language Specification Version 3 3","year":"2017","author":"association","key":"ref16"},{"article-title":"System structure modeling language (s2ml)","year":"2015","author":"batteux","key":"ref17"},{"key":"ref18","article-title":"Descriptive set theory","author":"moschovakis","year":"2009","journal-title":"Journal of the American Mathematical Society"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-349-03521-2"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1051\/meca\/2020080"},{"journal-title":"Model-based system engineering for fault tree generation and analysis","year":"2013","author":"yakymets","key":"ref4"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/MECATRONICS.2018.8495844"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.3182\/20121122-2-ES-4026.00018"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1201\/9781351174664-306"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.4271\/2015-01-2444"},{"key":"ref8","article-title":"Category theoretic approaches of representing precise uml semantics","author":"smith","year":"2000","journal-title":"Proc ECOOP Workshop on Defining Precise Semantics for UML"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ISSE46696.2019.8984515"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33675-1_5"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39357-0_2"},{"key":"ref1","first-page":"105","article-title":"Automating the synthesis of altarica data-flow models from sysml","volume":"1","author":"david","year":"2009","journal-title":"Reliability risk and safety theory and applications ESREL 2009"},{"key":"ref20","first-page":"45","article-title":"Introducing categories to the practicing physicist","author":"coecke","year":"2006","journal-title":"What Is Category Theory"},{"journal-title":"Category Theory","year":"2010","author":"awodey","key":"ref22"},{"key":"ref21","article-title":"Categories for the working mathematician. 1998","author":"lane","year":"1998","journal-title":"Graduate Texts in Mathematics"},{"key":"ref24","article-title":"Category theory for beginners","author":"easterbrook","year":"1998","journal-title":"Proceedings of the 3rd IEEE International High-Assurance Systems Engineering Symposium (HASE’98)"},{"journal-title":"Category Theory for the Sciences","year":"2014","author":"spivak","key":"ref23"},{"journal-title":"Conception d’une méthodologie appliquée aux modèles dynamiques multi-physiques à topologie dynamique","year":"2019","author":"abdeljabbar","key":"ref26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/REM49740.2020.9313928"}],"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\/09582486.pdf?arnumber=9582486","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T16:55:47Z","timestamp":1652201747000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9582486\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,13]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/isse51541.2021.9582486","relation":{},"subject":[],"published":{"date-parts":[[2021,9,13]]}}}