{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T07:37:54Z","timestamp":1729669074466,"version":"3.28.0"},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,10]]},"DOI":"10.1109\/iecon.2012.6389446","type":"proceedings-article","created":{"date-parts":[[2013,1,3]],"date-time":"2013-01-03T04:15:46Z","timestamp":1357186546000},"page":"2833-2838","source":"Crossref","is-referenced-by-count":0,"title":["Extending the verification coverage for PLC control programs: A functional safety approach"],"prefix":"10.1109","author":[{"given":"Cleber A.","family":"Sarmento","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Diolino J.","family":"Santos Filho","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paulo E.","family":"Miyagi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","first-page":"10546","article-title":"Modeling of programs and its veritication for programmable logic controllers","author":"sarmento","year":"2008","journal-title":"Proc 15th IFAC World Congress"},{"journal-title":"IEC 61131 Programmable Controllers Parts 1-8","year":"2004","key":"2"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1083274.1083283"},{"journal-title":"Modeling and analysis of hybrid supervisory systems","year":"2007","author":"villani","key":"1"},{"key":"7","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1007\/3-540-46002-0_23","article-title":"A temporal logic based theory of test coverage and generation","volume":"2280","author":"hong","year":"2002","journal-title":"8th TACAS Lecture Notes in Computer Science"},{"volume":"2","journal-title":"Guide to Programmable Safety Systems","year":"2002","key":"6"},{"journal-title":"Functional Safety - A straightforward guide to applying IEC 61508 and related standards","year":"2005","author":"smith","key":"5"},{"journal-title":"IEC 61508 Functional Safety of Electrical\/electronic\/programmable Electronic Safety-related Systems Parts 1-7","year":"2002","key":"4"},{"key":"9","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","article-title":"Uppaal in a nutshell","volume":"1","author":"larsen","year":"1997","journal-title":"Intern J of Software Tools for Technology Transfer"},{"journal-title":"Model-based Test Case Generation for Real-time Systems","year":"2007","author":"hessel","key":"8"},{"journal-title":"SIEMENS-Simatic Ladder Logic (LAD) for S7-300 and S7-400 Programming - Reference Manual","year":"2006","key":"11"}],"event":{"name":"IECON 2012 - 38th Annual Conference of IEEE Industrial Electronics","start":{"date-parts":[[2012,10,25]]},"location":"Montreal, QC, Canada","end":{"date-parts":[[2012,10,28]]}},"container-title":["IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6373889\/6388505\/06389446.pdf?arnumber=6389446","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T05:06:00Z","timestamp":1498021560000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6389446\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/iecon.2012.6389446","relation":{},"subject":[],"published":{"date-parts":[[2012,10]]}}}