{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T12:42:34Z","timestamp":1730292154315,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,3]]},"DOI":"10.1109\/rait.2018.8388983","type":"proceedings-article","created":{"date-parts":[[2018,6,25]],"date-time":"2018-06-25T15:25:44Z","timestamp":1529940344000},"page":"1-8","source":"Crossref","is-referenced-by-count":2,"title":["Modeling and formal verification of SMT rail interlocking system using PyNuSMV"],"prefix":"10.1109","author":[{"given":"L.","family":"Rakesh","sequence":"first","affiliation":[]},{"given":"Lokanna","family":"Kadakolmath","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2016.182"},{"journal-title":"Formal methods uclouvain","year":"2016","key":"ref11"},{"journal-title":"The safety critical systems handbook A Straightforward guide to functional safety IEC 61508 IEC 61511","year":"2016","author":"smith","key":"ref12"},{"key":"ref13","first-page":"350","article-title":"Study on modeling and verification of CBTC interlocking system","author":"wango","year":"2013","journal-title":"Proc IET Int Wireless Mobile and Multimedia Networks Conf"},{"key":"ref14","first-page":"309","article-title":"Modeling large railway interlockings and model checking small ones","volume":"16","author":"winter","year":"2003","journal-title":"Proceedings of the 25th Australasian Computer Science Conference"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICET.2006.335983"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38088-4_33"},{"journal-title":"nuXmv 1 1 1 tutorial","year":"2016","author":"bozzano","key":"ref3"},{"journal-title":"PyNuSMV documentation release 1 0rc7","year":"2017","author":"busard","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.184.2"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/s40534-016-0119-1","article-title":"Verifying the accuracy of interlocking tables for railway signaling systems using abstract state machine","volume":"24","author":"celebi","year":"2016","journal-title":"Journal of Modern Transportation"},{"key":"ref7","first-page":"359","article-title":"NuSMV2: An open source tool for symbolic model checking","author":"cavada","year":"2002","journal-title":"Conference on Computer-Aided Verification 2002"},{"journal-title":"Deadly train accidents in egypt","year":"2012","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-05032-4_17"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1002\/9781118459898.ch4"}],"event":{"name":"2018 4th International Conference on Recent Advances in Information Technology (RAIT)","start":{"date-parts":[[2018,3,15]]},"location":"Dhanbad","end":{"date-parts":[[2018,3,17]]}},"container-title":["2018 4th International Conference on Recent Advances in Information Technology (RAIT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8376941\/8388962\/08388983.pdf?arnumber=8388983","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,7,30]],"date-time":"2018-07-30T14:35:29Z","timestamp":1532961329000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8388983\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/rait.2018.8388983","relation":{},"subject":[],"published":{"date-parts":[[2018,3]]}}}