{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T08:08:05Z","timestamp":1729670885837,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,7]]},"DOI":"10.1109\/indin.2016.7819240","type":"proceedings-article","created":{"date-parts":[[2017,1,19]],"date-time":"2017-01-19T21:21:44Z","timestamp":1484860904000},"page":"646-651","source":"Crossref","is-referenced-by-count":2,"title":["Reconstruction of function block controllers based on test scenarios and verification"],"prefix":"10.1109","author":[{"given":"Daniil","family":"Chivilikhin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ilya","family":"Ivanov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anatoly","family":"Shalyto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valeriy","family":"Vyatkin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"707","article-title":"Binary Codes Capable of Correcting Deletions, Insertions and Reversals","volume":"10","author":"levenshtein","year":"1966","journal-title":"Soviet Physics Doklady"},{"key":"ref11","article-title":"NuSMV Version 2: An OpenSource Tool for Symbolic Model Checking","volume":"2404","author":"cimatti","year":"0"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2012.6489678"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2001858.2002085"},{"key":"ref14","first-page":"14","article-title":"Reducing bias and inefficiency in the selection algorithm","author":"baker","year":"0"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/S0065-2458(03)58003-2","article-title":"Bounded model checking","volume":"58","author":"biere","year":"2003","journal-title":"Adv Comput"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICARA.2011.6144856"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1887\/0750308958"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2006.355449"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022295414523"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2008.2005785"},{"first-page":"73","year":"0","author":"patil","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2015.7281912"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2011.2166785"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/937503.937505"}],"event":{"name":"2016 IEEE 14th International Conference on Industrial Informatics (INDIN)","start":{"date-parts":[[2016,7,19]]},"location":"Poitiers, France","end":{"date-parts":[[2016,7,21]]}},"container-title":["2016 IEEE 14th International Conference on Industrial Informatics (INDIN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7800953\/7819121\/07819240.pdf?arnumber=7819240","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,17]],"date-time":"2019-09-17T15:44:20Z","timestamp":1568735060000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7819240\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/indin.2016.7819240","relation":{},"subject":[],"published":{"date-parts":[[2016,7]]}}}