{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T10:42:41Z","timestamp":1760784161927},"reference-count":18,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2017,3,1]],"date-time":"2017-03-01T00:00:00Z","timestamp":1488326400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"name":"Indian Railways"},{"name":"Center for Railways Research, Indian Institute of Technology Kharagpur"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Intell. Transport. Syst."],"published-print":{"date-parts":[[2017,3]]},"DOI":"10.1109\/tits.2016.2586512","type":"journal-article","created":{"date-parts":[[2016,8,2]],"date-time":"2016-08-02T18:14:37Z","timestamp":1470161677000},"page":"678-689","source":"Crossref","is-referenced-by-count":12,"title":["Formal Methods for Validation and Test Point Prioritization in Railway Signaling Logic"],"prefix":"10.1109","volume":"18","author":[{"given":"Shiladitya","family":"Ghosh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arindam","family":"Das","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nirvik","family":"Basak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pallab","family":"Dasgupta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alok","family":"Katiyar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-57826-9_156"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-013-0295-9"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-05032-4"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2014.2354297"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.21236\/ADA360973"},{"key":"ref16","first-page":"108","article-title":"Checking safety properties using induction and a sat-solver","author":"sheeran","year":"2000","journal-title":"Proc 3rd Int Conf FMCAD"},{"key":"ref17","year":"0"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","article-title":"NuSMV 2: An opensource tool for symbolic model checking","author":"cimatti","year":"2002","journal-title":"Computer Aided Verification"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1002\/9781119005056"},{"key":"ref3","year":"0","journal-title":"Reported Signal Irregularity at Cootamundra New South Wales Involving Trains st22 and 4mb7"},{"key":"ref6","article-title":"Using synchronous languages for interlocking","author":"legof","year":"0","journal-title":"Proc 1st Int Conf Comput Appl Transp Syst"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/64.180408"},{"key":"ref8","article-title":"Model checking safety critical software with spin: An application to a railway interlocking system","author":"cimatti","year":"1997","journal-title":"Computer Safety Reliability and Security"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008645826258"},{"key":"ref2","year":"2008","journal-title":"Raib Review of the Railway Industry's Investigation of an Irregular Signal Sequence at Milton Keynes"},{"key":"ref1","first-page":"61","author":"fantechi","year":"2012","journal-title":"Some Trends in Formal Methods Applications to Railway Signaling"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s100090100063"}],"container-title":["IEEE Transactions on Intelligent Transportation Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6979\/7865878\/07529152.pdf?arnumber=7529152","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:20:08Z","timestamp":1642004408000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7529152\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3]]},"references-count":18,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tits.2016.2586512","relation":{},"ISSN":["1524-9050","1558-0016"],"issn-type":[{"value":"1524-9050","type":"print"},{"value":"1558-0016","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,3]]}}}