{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T07:49:32Z","timestamp":1771573772856,"version":"3.50.1"},"reference-count":35,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,7]]},"DOI":"10.1109\/indin.2015.7281905","type":"proceedings-article","created":{"date-parts":[[2015,10,1]],"date-time":"2015-10-01T17:59:09Z","timestamp":1443722349000},"page":"1192-1197","source":"Crossref","is-referenced-by-count":21,"title":["Counterexample-guided simulation framework for formal verification of flexible automation systems"],"prefix":"10.1109","author":[{"given":"Sandeep","family":"Patil","sequence":"first","affiliation":[]},{"given":"Valeriy","family":"Vyatkin","sequence":"additional","affiliation":[]},{"given":"Cheng","family":"Pang","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2013.6700497"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2008.2005785"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2012.6489678"},{"key":"ref30","article-title":"Plug-and-Play IEC 61499 function blocks for distributed control design of Intelligent Mechatronic Systems","author":"sorouri","year":"2012","journal-title":"The University of Auckland Auckland Submitted for INDIN Conference"},{"key":"ref35","article-title":"Time-Complemented Event-Driven Architecture for Distributed Cyber-Physical Systems","author":"pang","year":"2014","journal-title":"IEEE Transactions on Systems Man and Cybernetics Systems"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ISPCS.2011.6070144"},{"key":"ref10","first-page":"199","article-title":"Systematic Closed-Loop Modelling in IEC 61499 Function Blocks: A Case Study","author":"pang","year":"2009","journal-title":"13th IFAC Symposium on Information Control Problems in Manufacturing (Incom 2009)"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2015.2430836"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2010.5549584"},{"key":"ref13","article-title":"nxtSTUDIO","year":"2012","journal-title":"nxt Control"},{"key":"ref14","year":"0","journal-title":"ICS Triplex ISaGRAF ISaGRAF Workbench"},{"key":"ref15","year":"0","journal-title":"FBDK - Function Block Development Kit"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2007.4384880"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.1995.496811"},{"key":"ref18","author":"vyatkin","year":"0","journal-title":"ViVe and SESA Model Checkers"},{"key":"ref19","article-title":"UPPAAL - Now, Next, and Future","author":"amnell","year":"2001","journal-title":"presented at the Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2011.6119923"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/307988.307989"},{"key":"ref27","volume":"10","author":"preusse","year":"2013","journal-title":"Technologies for Engineering Manufacturing Systems Control in Closed Loop"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69850-0_8"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2011.2166785"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2013.2266914"},{"key":"ref5","article-title":"Programmable Logic Controllers - Part 3: Programming Languages, IEC Standard 61131–3","year":"2013","journal-title":"Third ed"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2005.1560345"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2013.6648136"},{"key":"ref2","author":"clarke","year":"1999","journal-title":"Model checking"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/S0967-0661(99)00074-X"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/b105236"},{"key":"ref20","first-page":"241","article-title":"NuSMV 2: An OpenSource Tool for Symbolic Model Checking","volume":"2404","author":"cimatti","year":"2002","journal-title":"Computer Aided Verification"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.1999.815365"},{"key":"ref21","volume":"7","author":"gerber","year":"2011","journal-title":"Implementation and Verification of Distributed Control Systems"},{"key":"ref24","article-title":"One Decade of IEC 61499 Modeling and Verification-Results and Open Issues","author":"hanisch","year":"2009","journal-title":"13th IFAC Symposium on Information Control Problems in Manufacturing V A Trapeznikov Institute of Control Sciences"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/978-3-662-46823-4_7","article-title":"Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM","volume":"8974","author":"patil","year":"2015","journal-title":"Perspectives of System Informatics"},{"key":"ref26","first-page":"239","article-title":"A Data processing Model of IEC 61499 Function Blocks with Integer-Valued Data Types","author":"gerber","year":"2008","journal-title":"Proc Workshop on Intelligent Manufacturing Systems (IMS)"},{"key":"ref25","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1109\/ETFA.2001.997677","article-title":"Formal modeling and verification in the software engineering framework of IEC 61499: a way to self-verifying systems","volume":"2","author":"vyatkin","year":"2001","journal-title":"Emerging Technologies and Factory Automation 2001 Proceedings 2001 8th IEEE International Conference on"}],"event":{"name":"2015 IEEE 13th International Conference on Industrial Informatics (INDIN)","location":"Cambridge, United Kingdom","start":{"date-parts":[[2015,7,22]]},"end":{"date-parts":[[2015,7,24]]}},"container-title":["2015 IEEE 13th International Conference on Industrial Informatics (INDIN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7270516\/7281697\/07281905.pdf?arnumber=7281905","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,31]],"date-time":"2019-08-31T01:10:47Z","timestamp":1567213847000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7281905\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7]]},"references-count":35,"URL":"https:\/\/doi.org\/10.1109\/indin.2015.7281905","relation":{},"subject":[],"published":{"date-parts":[[2015,7]]}}}