{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T16:49:46Z","timestamp":1730220586597,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1109\/etfa.2013.6648100","type":"proceedings-article","created":{"date-parts":[[2013,11,2]],"date-time":"2013-11-02T00:09:46Z","timestamp":1383350986000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["Enforcing I\/O sequences for PLC validation purposes"],"prefix":"10.1109","author":[{"given":"Anais","family":"Guignard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Marc","family":"Faure","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.1999.815365"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2010.10.001"},{"key":"12","first-page":"28","article-title":"Direct modelchecking of plc programs in IL","volume":"2","author":"schlich","year":"2009","journal-title":"Dependable Control OfDiscrete Systems"},{"journal-title":"Classics in Software Engineering","year":"1979","author":"boehm","key":"3"},{"journal-title":"Systems and SoftwareVerification Model-Checking Techniques and Tools","year":"2001","author":"berard","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2010.2050199"},{"key":"10","first-page":"203","article-title":"SIC-testabilityof sequential logic controllers","author":"provost","year":"2010","journal-title":"10th InternationalWorkshopon Discrete Event Systems"},{"key":"7","first-page":"1090","article-title":"Principles and methods oftesting finite state machines-A survey","volume":"84","author":"lee","year":"1996","journal-title":"Proceedings of theIEEE"},{"key":"6","first-page":"247","article-title":"Formal verificationof the sequential part of PLC programs","author":"lamperiere-couffin","year":"2000","journal-title":"R Boeland G Stremersch Editors Discrete Event Systems volume569 of the Springer International Series in Engineeringand Computer Science"},{"key":"5","first-page":"5101","article-title":"Improvinglarge-sized PLC programs verification using abstractions","author":"gourcuff","year":"2008","journal-title":"Proceedings of the 17th IFAC World Congress"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2000.884356"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.10"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-004-0046-8"}],"event":{"name":"2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)","start":{"date-parts":[[2013,9,10]]},"location":"Cagliari, Italy","end":{"date-parts":[[2013,9,13]]}},"container-title":["2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6636144\/6647927\/06648100.pdf?arnumber=6648100","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T00:31:53Z","timestamp":1490229113000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6648100\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/etfa.2013.6648100","relation":{},"subject":[],"published":{"date-parts":[[2013,9]]}}}