{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,11]],"date-time":"2025-07-11T10:14:59Z","timestamp":1752228899591,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,6]]},"DOI":"10.1109\/isie.2018.8433793","type":"proceedings-article","created":{"date-parts":[[2018,8,13]],"date-time":"2018-08-13T22:04:17Z","timestamp":1534197857000},"page":"669-674","source":"Crossref","is-referenced-by-count":3,"title":["Synthesis-Aided Reliability Assurance of Basic Block Models for Model Checking Purposes"],"prefix":"10.1109","author":[{"given":"Igor","family":"Buzhinsky","sequence":"first","affiliation":[]},{"given":"Antti","family":"Pakonen","sequence":"additional","affiliation":[]},{"given":"Valeriy","family":"Vyatkin","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1007\/978-3-319-48989-6_18","article-title":"Learning Moore machines from input-output traces","author":"giantamidis","year":"2016","journal-title":"Formal Methods 21st International Symposium (FM 2016)"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2017.2670146"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050046"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.5516\/NET.2009.41.1.079"},{"key":"ref15","first-page":"199","article-title":"Formal verification of safety functions by reinterpretation of functional block based specifications","author":"n\u00e9meth","year":"2009","journal-title":"Formal Methods for Industrial Critical Systems (FMICS 2008) LNCS 5596"},{"key":"ref16","first-page":"3189","article-title":"Model checking as a protective method against spurious actuation of industrial control systems","author":"pakonen","year":"2017","journal-title":"Taylor and Francis Group Journal Education Economics"},{"key":"ref17","article-title":"Testing and utilization of Loviisa full scope Apros model in engineering and development simulator","author":"n\u00e4veri","year":"0","journal-title":"International Youth Nuclear Congress (IYNC 2010)"},{"key":"ref18","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":"Advances in Computers"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-011-0132-2"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.3311\/PPee.9743"},{"key":"ref3","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) American Nuclear Society"},{"key":"ref6","first-page":"541","article-title":"G4LTL-ST: Automatic generation of PLC programs","author":"cheng","year":"2014","journal-title":"International Conference on Computer Aided Verification"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2013.6648065"},{"key":"ref8","first-page":"325","article-title":"BoSy: An experimentation framework for bounded synthesis","author":"faymonville","year":"2017","journal-title":"International Conference on Computer Aided Verification"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19835-9_25"},{"journal-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref2"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"ref1"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/s10009-016-0442-1","article-title":"Exact finite-state machine identification from scenarios and temporal properties","volume":"20","author":"ulyantsev","year":"2018","journal-title":"International Journal on Software Tools for Technology Transfer"}],"event":{"name":"2018 IEEE 27th International Symposium on Industrial Electronics (ISIE)","start":{"date-parts":[[2018,6,13]]},"location":"Cairns, QLD","end":{"date-parts":[[2018,6,15]]}},"container-title":["2018 IEEE 27th International Symposium on Industrial Electronics (ISIE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8419226\/8433439\/08433793.pdf?arnumber=8433793","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T14:45:41Z","timestamp":1643208341000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8433793\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/isie.2018.8433793","relation":{},"subject":[],"published":{"date-parts":[[2018,6]]}}}