{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T11:51:53Z","timestamp":1725623513420},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,4,15]]},"DOI":"10.1145\/2401736.2401744","type":"proceedings-article","created":{"date-parts":[[2012,11,29]],"date-time":"2012-11-29T17:08:34Z","timestamp":1354208914000},"page":"71-76","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["An industrial application of formal model based development"],"prefix":"10.1145","author":[{"given":"Alessio","family":"Ferrari","sequence":"first","affiliation":[{"name":"General Electric Transportation Systems, Florence, Italy"}]},{"given":"Mario","family":"Papini","sequence":"additional","affiliation":[{"name":"General Electric Transportation Systems, Florence, Italy"}]},{"given":"Alessandro","family":"Fantechi","sequence":"additional","affiliation":[{"name":"University of Florence, Florence, Italy"}]},{"given":"Daniele","family":"Grasso","sequence":"additional","affiliation":[{"name":"University of Florence, Florence, Italy"}]}],"member":"320","published-online":{"date-parts":[[2010,4,15]]},"reference":[{"unstructured":"European Committee for Electrotechnical Standardization CENELEC EN50128 Railway Applications - Software for Railway Control and Protection Systems 1997. European Committee for Electrotechnical Standardization CENELEC EN50128 Railway Applications - Software for Railway Control and Protection Systems 1997.","key":"e_1_3_2_1_1_1"},{"unstructured":"Mathworks Automotive Advisory Board (MAAB) Control Algorithm Modeling Guidelines Using Matlab Simulink and Stateflow Version 2.0 2007. Mathworks Automotive Advisory Board (MAAB) Control Algorithm Modeling Guidelines Using Matlab Simulink and Stateflow Version 2.0 2007.","key":"e_1_3_2_1_2_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1007\/11813040_13"},{"key":"e_1_3_2_1_4_1","first-page":"84","volume-title":"Proceedings of WCRR99","author":"Faivre A.","year":"1999"},{"volume-title":"Proceedings of 1st NASA Formal Methods Symphosium. NASA","year":"2009","author":"Ferrari A.","key":"e_1_3_2_1_5_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1109\/ICST.2010.44"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1145\/1086228.1086260"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1007\/s10009-007-0049-7"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1016\/0167-6423(87)90035-9"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1007\/978-3-642-05089-3_45"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1145\/1017753.1017795"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1145\/1592434.1592436"}],"event":{"sponsor":["Newcastle University","ERCIM European Research Consortium for Informatics & Mathematics","SIGSOFT ACM Special Interest Group on Software Engineering"],"acronym":"SERENE '10","name":"SERENE '10: International Workshop on Software Engineering for REsilient SystEms","location":"London United Kingdom"},"container-title":["Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2401736.2401744","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,14]],"date-time":"2023-01-14T18:16:02Z","timestamp":1673720162000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2401736.2401744"}},"subtitle":["the Metr\u00f4 Rio ATP case"],"short-title":[],"issued":{"date-parts":[[2010,4,15]]},"references-count":12,"alternative-id":["10.1145\/2401736.2401744","10.1145\/2401736"],"URL":"https:\/\/doi.org\/10.1145\/2401736.2401744","relation":{},"subject":[],"published":{"date-parts":[[2010,4,15]]},"assertion":[{"value":"2010-04-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}