{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T04:24:23Z","timestamp":1729657463574,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,8]]},"DOI":"10.1109\/coase.2009.5234187","type":"proceedings-article","created":{"date-parts":[[2009,9,11]],"date-time":"2009-09-11T14:10:59Z","timestamp":1252678259000},"page":"164-170","source":"Crossref","is-referenced-by-count":4,"title":["Formal verification of PLC controlled systems using Sensor Graphs"],"prefix":"10.1109","author":[{"given":"Tord","family":"Alenljung","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bengt","family":"Lennartson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2005.1506779"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"journal-title":"The SMV language","year":"1999","author":"mcmillan","key":"17"},{"journal-title":"Discrete Event Process Modeling of Manufacturing Systems Using Sensor Graphs","year":"2009","author":"alenljung","key":"18"},{"key":"15","article-title":"formalization of existing plc programs: a survey","author":"younis","year":"2003","journal-title":"Computational Engineering in Systems Applications"},{"key":"16","doi-asserted-by":"crossref","DOI":"10.1109\/CDC.1998.758209","article-title":"plc-based implementation of supervisory control for discrete event systems","author":"fabian","year":"1998","journal-title":"Proc 37th Conf Decision and Control"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"14","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/s10009-002-0079-0","article-title":"verification and optimization of a plc control schedule","volume":"4","author":"brinksma","year":"2002","journal-title":"Int l J Software Tools for Technology Transfer"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(98)00179-4"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27863-4_28"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/AMC.2004.1297936"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1998.725375"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.1678428"},{"journal-title":"Petri Nets and Grafcet Tools for Modelling Discrete Event Systems","year":"1992","author":"david","key":"2"},{"journal-title":"Model checking","year":"2000","author":"clarke","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61042-1_47"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.1995.496811"},{"journal-title":"Compositional Verification of Industrial Control Systems-methods and Case Studies","year":"2005","author":"lukoschus","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/BF01805563"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.1998.694666"},{"journal-title":"Analysing Signal-net Systems","year":"2002","author":"starke","key":"8"}],"event":{"name":"2009 IEEE International Conference on Automation Science and Engineering (CASE 2009)","start":{"date-parts":[[2009,8,22]]},"location":"Bangalore, India","end":{"date-parts":[[2009,8,25]]}},"container-title":["2009 IEEE International Conference on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5227795\/5234081\/05234187.pdf?arnumber=5234187","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T19:38:44Z","timestamp":1497814724000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5234187\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,8]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/coase.2009.5234187","relation":{},"subject":[],"published":{"date-parts":[[2009,8]]}}}