{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T05:27:52Z","timestamp":1747805272127,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,7]]},"DOI":"10.1109\/acc.2007.4282937","type":"proceedings-article","created":{"date-parts":[[2007,8,8]],"date-time":"2007-08-08T12:01:54Z","timestamp":1186574514000},"page":"3606-3611","source":"Crossref","is-referenced-by-count":9,"title":["Comparison of Event-Triggered and Cycle-Driven Models for Verifying SFC Programs"],"prefix":"10.1109","author":[{"given":"Sven","family":"Lohmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olaf","family":"Stursberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Engell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Model checking","year":"1999","author":"clarke","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1583514"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2002.1024580"},{"key":"ref6","article-title":"A Model-Checking Approach to Safe SFCs","author":"huuck","year":"2003","journal-title":"Proc IEEE-IMACS CESA 2003"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1583409"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/S0098-1354(00)00484-1"},{"key":"ref12","article-title":"Improving Dependability of Logic Controllers by Algorithmic Verification","author":"stursberg","year":"2005","journal-title":"Proc 16th IFAC World Congress"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00301-7"},{"key":"ref7","article-title":"Programmable Logic Controllers - Programming Languages","volume":"3","year":"2003","journal-title":"IEC-Standard 61131–"},{"key":"ref2","first-page":"200","article-title":"A Tutorial on Uppaal","author":"behrmann","year":"2004","journal-title":"Proc 4th Int School on Formal Methods for the Design of Comp Comm and Software Systems"},{"key":"ref9","first-page":"206","article-title":"Specification and Formal Verification of Temporal Properties of Production Automation Systems","author":"pape","year":"2004","journal-title":"INT 2004 Springer LNCS 3147"},{"key":"ref1","first-page":"517","article-title":"Verification of PLC Programs given as Sequential Function Charts","author":"bauer","year":"2004","journal-title":"Integration of Software Spechification Techniques Springer LNCS 3147"}],"event":{"name":"2007 American Control Conference","start":{"date-parts":[[2007,7,9]]},"location":"New York, NY, USA","end":{"date-parts":[[2007,7,13]]}},"container-title":["2007 American Control Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4282134\/4282135\/04282937.pdf?arnumber=4282937","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T17:13:36Z","timestamp":1489684416000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4282937\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/acc.2007.4282937","relation":{},"ISSN":["0743-1619"],"issn-type":[{"type":"print","value":"0743-1619"}],"subject":[],"published":{"date-parts":[[2007,7]]}}}