{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T12:22:24Z","timestamp":1730204544434,"version":"3.28.0"},"reference-count":33,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,12]]},"DOI":"10.1109\/cdc.2015.7402766","type":"proceedings-article","created":{"date-parts":[[2016,2,29]],"date-time":"2016-02-29T16:32:44Z","timestamp":1456763564000},"page":"3534-3541","source":"Crossref","is-referenced-by-count":1,"title":["Synthesis of discrete-event controllers from sequence-based specifications"],"prefix":"10.1109","author":[{"given":"Thijs","family":"Janssen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joanna","family":"van de Mortel-Fronczak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emile","family":"van Gerwen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michel","family":"Reniers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-013-0163-5"},{"key":"ref32","first-page":"188","article-title":"Towards the removal of synchronous behavior of events in automata","author":"swartjes","year":"2014","journal-title":"WODES'04 - IFAC"},{"key":"ref31","article-title":"The formal specification language mCRL 2","author":"groote","year":"2007","journal-title":"Dagstuhl Germany Internationales Begegnungs und Forschungszentrum fuer Informatik (IBFI)"},{"journal-title":"Scalability of supervisory control theory","year":"2012","author":"michels","key":"ref30"},{"key":"ref10","first-page":"341","article-title":"Expe-rience report on designing and developing control components using formal methods","volume":"7436","author":"osaiweran","year":"2012","journal-title":"FM"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2012.24"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2010.05.011"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-013-9251-2"},{"journal-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"ref14"},{"year":"2012","key":"ref15","article-title":"homepage"},{"key":"ref16","first-page":"297","article-title":"Co-ordination of resources using generalized state-based requirements","author":"markovski","year":"2010","journal-title":"WODES"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-5102-9_54-1"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54862-8_48"},{"year":"2015","key":"ref19","article-title":"homepage"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2011.6081983"},{"key":"ref27","article-title":"Translation of ASD single-threaded execution model to EFSM","author":"romero sahag\u00fan","year":"2014","journal-title":"Tech Rep MN420781"},{"year":"2015","key":"ref3","article-title":"homepage"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/INNOVATIONS.2012.6207775"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2014.6843722"},{"year":"2014","key":"ref5","article-title":"homepage"},{"key":"ref8","first-page":"167","article-title":"Integration of supervisory control synthesis in Model-Based Systems Engineering","author":"baeten","year":"2011","journal-title":"COSY"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/11526841_39"},{"journal-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref9"},{"key":"ref1","first-page":"1","article-title":"Automated testing requirements – automotive perspective","author":"ranville","year":"2001","journal-title":"WAPATV"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.382401"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1199071"},{"journal-title":"Design of the supervisory control layer for electron microscopes","year":"2013","author":"janssen","key":"ref21"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.854586"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/BF01797154"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/MED.2009.5164694"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2008.4586539"}],"event":{"name":"2015 54th IEEE Conference on Decision and Control (CDC)","start":{"date-parts":[[2015,12,15]]},"location":"Osaka","end":{"date-parts":[[2015,12,18]]}},"container-title":["2015 54th IEEE Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7396016\/7402066\/07402766.pdf?arnumber=7402766","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T22:49:29Z","timestamp":1490222969000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7402766\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/cdc.2015.7402766","relation":{},"subject":[],"published":{"date-parts":[[2015,12]]}}}