{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T06:12:45Z","timestamp":1784182365641,"version":"3.55.0"},"reference-count":24,"publisher":"IEEE","license":[{"start":{"date-parts":[[2026,6,8]],"date-time":"2026-06-08T00:00:00Z","timestamp":1780876800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,6,8]],"date-time":"2026-06-08T00:00:00Z","timestamp":1780876800000},"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":[[2026,6,8]]},"DOI":"10.1109\/wodes69290.2026.11598540","type":"proceedings-article","created":{"date-parts":[[2026,7,15]],"date-time":"2026-07-15T20:00:55Z","timestamp":1784145655000},"page":"43-48","source":"Crossref","is-referenced-by-count":0,"title":["Converting Extended Finite-State Machines from Supremica to CIF"],"prefix":"10.1109","author":[{"given":"Martin","family":"Fabian","sequence":"first","affiliation":[{"name":"Chalmers University of Tech.,Dept. of Electrical Eng.,Göteborg,Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michel","family":"Reniers","sequence":"additional","affiliation":[{"name":"Eindhoven University of Tech.,Dept. of Mechanical Eng.,Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"Principles of Model Checking","author":"Baier","year":"2008"},{"key":"ref2","article-title":"Cassandras and Stephane Lafortune","volume-title":"Introduction to Discrete Event Systems","author":"G","year":"2021"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/157485.164585"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/case49439.2021.9551435"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/wodes.2006.382399"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-30820-8_6"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.04.016"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/wodes.2016.7497883"},{"key":"ref9","author":"Hendriks","year":"2025","journal-title":"Overview and Performance Evaluation of Supervisory Controller Synthesis with Eclipse ESCET v4.0"},{"key":"ref10","volume-title":"Eclipse ESCET \u2013 Home"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/educon.2017.7942912"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/tits.2017.2776354"},{"key":"ref13","volume-title":"Lua Reference Manuals"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2017.08.427"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-023-00378-8"},{"key":"ref16","volume-title":"Partial unfolding for compositional nonblocking verification of extended finite-state machines","author":"Mohajerani","year":"2013"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2024.07.048"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/case48305.2020.9216894"},{"key":"ref20","volume-title":"Supremica \u2013 Public Repo"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/wodes.2006.382402"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/models.2015.7338273"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/cdc.2007.4434894"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2018.03.002"}],"event":{"name":"2026 18th International Workshop on Discrete Event Systems (WODES)","location":"Eindhoven, Netherlands","start":{"date-parts":[[2026,6,8]]},"end":{"date-parts":[[2026,6,10]]}},"container-title":["2026 18th International Workshop on Discrete Event Systems (WODES)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11597969\/11598022\/11598540.pdf?arnumber=11598540","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T05:49:00Z","timestamp":1784180940000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11598540\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6,8]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/wodes69290.2026.11598540","relation":{},"subject":[],"published":{"date-parts":[[2026,6,8]]}}}