{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,4]],"date-time":"2025-12-04T18:28:22Z","timestamp":1764872902757},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/hase.2005.24","type":"proceedings-article","created":{"date-parts":[[2006,10,4]],"date-time":"2006-10-04T14:20:03Z","timestamp":1159971603000},"page":"131-139","source":"Crossref","is-referenced-by-count":13,"title":["The Simulation of Anomalies in the Functional Testing of the ERTMS\/ETCS Trackside System"],"prefix":"10.1109","author":[{"given":"P.","family":"di Tommaso","sequence":"first","affiliation":[]},{"given":"F.","family":"Flammini","sequence":"additional","affiliation":[]},{"given":"A.","family":"Lazzaro","sequence":"additional","affiliation":[]},{"given":"R.","family":"Pellecchia","sequence":"additional","affiliation":[]},{"given":"A.","family":"Sanseviero","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"0","key":"3"},{"year":"0","key":"2"},{"key":"10","article-title":"Formal Verification of ERTMS Euroradio Safety Critical Protocol","author":"esposito","year":"2003","journal-title":"Proceedings of FORMS 2003 Symposium on Formal Methods for Railway Operation and Control Systems"},{"year":"0","key":"1"},{"key":"7","article-title":"Systematic Testing of Software-Based Systems","author":"grimm","year":"1996","journal-title":"Proceedings of the 2nd Annual ENCRESS Conference"},{"journal-title":"Real-Time Software Techniques","year":"1991","author":"heath","key":"6"},{"key":"5","first-page":"283","article-title":"Hazard Analysis of Complex Distributed Railway Systems","author":"di tommaso","year":"2003","journal-title":"Proceedings of 22nd International Symposium on Reliable Distributed Systems SRDS2003"},{"year":"0","key":"4"},{"journal-title":"Automated Software Testing","year":"1999","author":"dustin","key":"9"},{"journal-title":"Software Engineering","year":"2000","author":"sommerville","key":"8"},{"year":"0","key":"11"}],"event":{"name":"Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05)","location":"Heidelberg, Germany"},"container-title":["Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05)"],"original-title":[],"link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx5\/10554\/33403\/01581290.pdf?arnumber=1581290","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,15]],"date-time":"2017-03-15T05:09:37Z","timestamp":1489554577000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/ieeexplore.ieee.org\/document\/1581290\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":11,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1109\/hase.2005.24","relation":{},"subject":[]}}