{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:51:17Z","timestamp":1760586677578,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1109\/etfa.2013.6648065","type":"proceedings-article","created":{"date-parts":[[2013,11,1]],"date-time":"2013-11-01T20:09:46Z","timestamp":1383336586000},"page":"1-6","source":"Crossref","is-referenced-by-count":21,"title":["A toolset for model checking of PLC software"],"prefix":"10.1109","author":[{"given":"Antti","family":"Pakonen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Teemu","family":"Matasniemi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jussi","family":"Lahtinen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tommi","family":"Karhela","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"13","doi-asserted-by":"crossref","DOI":"10.1142\/S1793962312500043","article-title":"Open ontologybasedintegration platform for modeling and simulationin engineering","volume":"3","author":"karhela","year":"2012","journal-title":"International Journal of Modeling Simulation and Scientific Computing"},{"key":"14","article-title":"Patterns inproperty specification for finite-state verification","author":"dwyer","year":"2012","journal-title":"Proceedings of the 21st International Conference OnSoftware Engineering"},{"key":"11","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/978-3-540-24730-2_3","article-title":"Minimal assignments forbounded model checking","volume":"2988","author":"ravi","year":"2004","journal-title":"Tools and Algorithms for the Construction AndAnalysis of Systems Lecture Notes in Computer Science"},{"key":"12","article-title":"Integrating model checking withthe industrial design of interactive systems","author":"loer","year":"2004","journal-title":"26thInternational Conference on Software Engineering"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2012.03.021"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90017-A"},{"journal-title":"Model checking","year":"1999","author":"clarke jr","key":"1"},{"key":"10","article-title":"Formal modeling of timedfunction blocks for the automatic verification ofladder diagram programs","author":"rossi","year":"2000","journal-title":"The 4th InternationalConference on Automation of Mixed Processes (ADPM2000)"},{"key":"7","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1016\/j.arcontrol.2012.09.015","article-title":"Transformationof function block diagrams to uppaal timed automatafor the verification of safety applications","volume":"36","author":"soliman","year":"2012","journal-title":"AnnualReviews in Control"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.1678428"},{"key":"5","article-title":"Direct model checking of plc programs in il","author":"schlich","year":"2009","journal-title":"2ndIFAC Workshop on Dependable Control of DiscreteSystems"},{"key":"4","first-page":"171","article-title":"FBDVerifier: Interactive and visual analysis ofcounter-example in formal verification of functionblock diagram","volume":"42","author":"jee","year":"2010","journal-title":"Journal of Research and Practice InInformation Technology"},{"journal-title":"Software Verification for ProgrammableLogic Controllers","year":"2003","author":"huuck","key":"9"},{"key":"8","doi-asserted-by":"crossref","first-page":"79","DOI":"10.5516\/NET.2009.41.1.079","article-title":"Verification of plc programswritten in fbd with vis","volume":"41","author":"yoo","year":"2009","journal-title":"Nuclear Engineering AndTechnology"}],"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\/06648065.pdf?arnumber=6648065","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T21:18:52Z","timestamp":1498079932000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6648065\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/etfa.2013.6648065","relation":{},"subject":[],"published":{"date-parts":[[2013,9]]}}}