{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T10:15:12Z","timestamp":1729678512726,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,12]]},"DOI":"10.1109\/icarcv.2012.6485166","type":"proceedings-article","created":{"date-parts":[[2013,4,3]],"date-time":"2013-04-03T23:22:36Z","timestamp":1365031356000},"page":"246-251","source":"Crossref","is-referenced-by-count":2,"title":["An integrated state- and event-based framework for verifying liveness in supervised systems"],"prefix":"10.1109","author":[{"given":"J.","family":"Markovski","sequence":"first","affiliation":[]},{"given":"M. A.","family":"Reniers","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Supervisory Control of Theme Park Vehicles","year":"2010","author":"forschelen","key":"19"},{"journal-title":"Supremica2mCRL2 Tranformation Tool","year":"2012","author":"markovski","key":"17"},{"journal-title":"Modular Supervisors Applied on A Patient Support System","year":"2009","author":"thijs","key":"18"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.382401"},{"key":"16","first-page":"99","author":"groote","year":"2009","journal-title":"Process Algebra for Parallel and Distributed Processing"},{"key":"13","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1007\/3-540-53479-2_17","article-title":"Action versus state based logics for transition systems","volume":"469","author":"de nicola","year":"1990","journal-title":"Semantics of Systems of Concurrent Processes"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/949952.940106"},{"key":"11","first-page":"300","article-title":"Coordination of resources using generalized statebased requirements","author":"markovski","year":"2010","journal-title":"Proc of WODES 2010"},{"key":"12","first-page":"99","article-title":"How to make FDR Spin LTL model checking of CSP by refinement","volume":"2021","author":"leuschel","year":"2001","journal-title":"Proceedings FME 2001 Ser Lecture Notes of Computer Science"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(82)90125-6"},{"journal-title":"Supervisory Control of Document Processing Machines","year":"2009","author":"leijenaar","key":"20"},{"key":"22","first-page":"74","article-title":"Verification of temporal properties of processes in a setting with data","volume":"1548","author":"groote","year":"1999","journal-title":"Proceedings of AMAST 1998"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2004.08.002"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2011.02.034"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044482830-9\/50035-7"},{"journal-title":"Introduction to Discrete Event Systems","year":"2004","author":"cassandras","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"10","first-page":"77","article-title":"Synthesis of live behaviour models","author":"braberman","year":"2010","journal-title":"Proceedings of SIGSOFT 2010"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/52.60589"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/1067915.1067920"},{"key":"6","volume":"317","author":"ma","year":"2005","journal-title":"Nonblocking supervisory control of state tree structures"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/9.250512"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2008.4605944"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2006.881904"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1137\/S0363012902409982"}],"event":{"name":"2012 12th International Conference on Control Automation Robotics & Vision (ICARCV 2012)","start":{"date-parts":[[2012,12,5]]},"location":"Guangzhou, China","end":{"date-parts":[[2012,12,7]]}},"container-title":["2012 12th International Conference on Control Automation Robotics & Vision (ICARCV)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6478914\/6485123\/06485166.pdf?arnumber=6485166","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T06:41:13Z","timestamp":1498027273000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6485166\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,12]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/icarcv.2012.6485166","relation":{},"subject":[],"published":{"date-parts":[[2012,12]]}}}