{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:55:14Z","timestamp":1760586914307,"version":"3.28.0"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,7]]},"DOI":"10.1109\/indin.2018.8472025","type":"proceedings-article","created":{"date-parts":[[2018,10,9]],"date-time":"2018-10-09T02:00:15Z","timestamp":1539050415000},"page":"747-753","source":"Crossref","is-referenced-by-count":12,"title":["Counterexample visualization and explanation for function block diagrams"],"prefix":"10.1109","author":[{"given":"Antti","family":"Pakonen","sequence":"first","affiliation":[]},{"given":"Igor","family":"Buzhinsky","sequence":"additional","affiliation":[]},{"given":"Valeriy","family":"Vyatkin","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2010.5641711"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2016.7733717"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-006-7999-y"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2010.41"},{"key":"ref14","first-page":"334","article-title":"The nuxmv symbolic model checker","author":"cavada","year":"2014","journal-title":"Computer Aided Verification 26th International Conference CAV 2014"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2008.40"},{"key":"ref16","first-page":"707","article-title":"A visualization framework for the modeling and formal analysis of high assurance systems","author":"goldsby","year":"2006","journal-title":"In Model Driven Engineering Languages and Systems 9th International Conference MoDELS 2006"},{"key":"ref17","first-page":"125","article-title":"UPPAAL 4.0","author":"behrmann","year":"2006","journal-title":"Third International Conference on the Quantitative Evaluation of Systems - (QEST'06)"},{"key":"ref18","article-title":"User-friendly model checking integration in model-based development","author":"campetelli","year":"2011","journal-title":"24th International Conference on Computer Applications in Industry and Engineering (CAINE 2011)"},{"article-title":"Installation process and main functionalities of the Spin model checker","year":"2012","author":"hornos","key":"ref19"},{"key":"ref28","first-page":"18","article-title":"Bounded model checking for past LTL","volume":"2619","author":"benedetti","year":"2003","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2003)"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-011-0132-2"},{"journal-title":"A Practical Introduction to PSL","year":"2006","author":"eisner","key":"ref27"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44829-2_8"},{"key":"ref6","first-page":"154","article-title":"Counterexampleguided abstraction refinement","author":"clarke","year":"2000","journal-title":"Computer Aided Verification 12th International Conference CAV 2000"},{"key":"ref5","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45657-0_29","article-title":"NuSMV Version 2: An OpenSource Tool for Symbolic Model Checking","volume":"2404","author":"cimatti","year":"2002","journal-title":"International Conference on Computer-Aided Verification (CAV 2002)"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-014-0448-7"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2010.15"},{"key":"ref2","first-page":"1342","article-title":"Practical applications of model checking in the Finnish nuclear industry","author":"pakonen","year":"2017","journal-title":"10th International Topical Meeting on Nuclear Plant Instrumentation Control and Human Machine Interface Technologies (NPIC & HMIT 2017)"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/587051.587064"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"ref1"},{"key":"ref20","first-page":"171","article-title":"FBDVerifier: Interactive and visual analysis of counter-example in formal verification of function block diagram","volume":"42","author":"jee","year":"2010","journal-title":"Journal of Research and Practice in Information Technology"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2015.7281905"},{"key":"ref21","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1145\/1570433.1570442","article-title":"Interaction engineering using the IVY tool","author":"campos","year":"2009","journal-title":"1st ACM SIGCHI Symposium on Engineering Interactive Computing Systems"},{"key":"ref24","first-page":"493","article-title":"Shortest counterexamples for symbolic model checking of LTL with past","volume":"3440","author":"schuppan","year":"2005","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference TACAS 2005"},{"key":"ref23","article-title":"Model checking methodology for large systems, faults and asynchronous behaviour — SARANA 2011 work report","volume":"12","author":"lahtinen","year":"2012"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1201\/9781315210469-404"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2013.6648065"}],"event":{"name":"2018 IEEE 16th International Conference on Industrial Informatics (INDIN)","start":{"date-parts":[[2018,7,18]]},"location":"Porto","end":{"date-parts":[[2018,7,20]]}},"container-title":["2018 IEEE 16th International Conference on Industrial Informatics (INDIN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8453042\/8471919\/08472025.pdf?arnumber=8472025","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,3]],"date-time":"2022-09-03T16:35:09Z","timestamp":1662222909000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8472025\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/indin.2018.8472025","relation":{},"subject":[],"published":{"date-parts":[[2018,7]]}}}