{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T13:57:15Z","timestamp":1772805435694,"version":"3.50.1"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,9]]},"DOI":"10.1109\/etfa.2010.5641209","type":"proceedings-article","created":{"date-parts":[[2010,11,30]],"date-time":"2010-11-30T16:11:18Z","timestamp":1291133478000},"page":"1-8","source":"Crossref","is-referenced-by-count":15,"title":["Model-Checking based Verification approach for advanced Industrial Automation solutions"],"prefix":"10.1109","author":[{"given":"M","family":"Mazzolini","sequence":"first","affiliation":[]},{"given":"A","family":"Brusaferri","sequence":"additional","affiliation":[]},{"given":"E","family":"Carpanzano","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","year":"0","journal-title":"Unified Modeling Language Resource"},{"key":"22","year":"0","journal-title":"Simulink Design Verifier User Guide"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/EFTA.2007.4416832"},{"key":"23","year":"0","journal-title":"Simulink Verification and Validation User Guide"},{"key":"18","year":"0","journal-title":"Stateflow and Stateflow Coder 7 User Guide"},{"key":"24","year":"0","journal-title":"PLCopen Association - XML Schemes"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1998.725375"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2008.4618273"},{"key":"13","article-title":"Modular Design of Logic Control Functions for RMS through Petri Nets and Sequential Function Charts","author":"bossi","year":"0","journal-title":"Proc CIRP 2nd International Conference on Reconfigurable Manufacturing Ann Arbor Michigan USA August 21-22 2003"},{"key":"14","first-page":"2748","article-title":"Model Checking of Signal Interpreted Petri Nets","author":"weng","year":"2001","journal-title":"Proceedings of the IEEE International Conference on Systems Man and Cybernetics SMC 2001 Tucson (AZ) USA"},{"key":"11","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1007\/978-3-540-24617-6_4","article-title":"Auto-generating test sequences using model checkers: A case study","volume":"2931","author":"heimdahl","year":"2003","journal-title":"Lecture Notes in Computer Science"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/70.817669"},{"key":"21","author":"hayhurst","year":"2001","journal-title":"A Practical Tutorial on Modified Condition\/Decision Coverage"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1049\/PBCE059E"},{"key":"20","year":"1992","journal-title":"Software Considerations in Airborne Systems and Equipment Certification"},{"key":"2","year":"1993","journal-title":"International Standard 61131 Programmable Logic Controllers Part 3 Languages"},{"key":"1","article-title":"Enabling Agile Manufacturing through Reconfigurable Control Solutions","author":"brusaferri","year":"0","journal-title":"Proc at 14th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA09) September 2009 Mallorca Spain"},{"key":"10","article-title":"Synthesis of synchronization skeletons for branching time temporal logic","volume":"131","author":"clarke","year":"1981","journal-title":"Lecture Notes in Computer Science"},{"key":"7","doi-asserted-by":"crossref","first-page":"4141","DOI":"10.1109\/ACC.2002.1024579","article-title":"Controller Design for an FMS using Signal Interpreted Petri Nets and SFC","author":"klein","year":"2002","journal-title":"American Control Conference Anchorage Alaska 2002"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2003.1300273"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2000.884356"},{"key":"4","first-page":"55","article-title":"Basic Concepts of IEC 61499","author":"christensen","year":"2000","journal-title":"Proceedings of Fachtagung Verteilte Automatisierung Magdeburg Germany"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.382522"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2000.884359"}],"event":{"name":"Factory Automation (ETFA 2010)","location":"Bilbao","start":{"date-parts":[[2010,9,13]]},"end":{"date-parts":[[2010,9,16]]}},"container-title":["2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5623495\/5640954\/05641209.pdf?arnumber=5641209","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T12:42:23Z","timestamp":1497876143000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5641209\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/etfa.2010.5641209","relation":{},"subject":[],"published":{"date-parts":[[2010,9]]}}}