{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T08:24:11Z","timestamp":1729671851220,"version":"3.28.0"},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1109\/issrew.2017.66","type":"proceedings-article","created":{"date-parts":[[2017,11,16]],"date-time":"2017-11-16T21:51:54Z","timestamp":1510869114000},"page":"153-156","source":"Crossref","is-referenced-by-count":1,"title":["Safety Verification of Modern Railway Signalling with the SafeCap Platform"],"prefix":"10.1109","author":[{"given":"Paulius","family":"Stankaitis","sequence":"first","affiliation":[]},{"given":"Alexei","family":"Iliasov","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038685"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"558","DOI":"10.2495\/TDI-V1-N3-558-567","article-title":"A railway simulation suite for modelling advanced railway control systems","volume":"1","author":"stankaitis","year":"2017","journal-title":"International Journal of Transport Development and Integration"},{"journal-title":"Modeling in Event-B System and Software Engineering","year":"2013","author":"abrial","key":"ref10"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/SACI.2016.7507347"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2001.980711"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-52559-9_61"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-33600-8_21"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1023\/A:1016503426126"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/WDTS-RASD.2012.11"}],"event":{"name":"2017 IEEE 28th International Symposium on Software Reliability Engineering: Workshops (ISSREW)","start":{"date-parts":[[2017,10,23]]},"location":"Toulouse","end":{"date-parts":[[2017,10,26]]}},"container-title":["2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8108700\/8109203\/08109277.pdf?arnumber=8109277","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,6]],"date-time":"2019-10-06T07:48:55Z","timestamp":1570348135000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8109277\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/issrew.2017.66","relation":{},"subject":[],"published":{"date-parts":[[2017,10]]}}}