{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:36:36Z","timestamp":1750307796310,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,9,4]],"date-time":"2007-09-04T00:00:00Z","timestamp":1188864000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,9,4]]},"DOI":"10.1145\/1316550.1316555","type":"proceedings-article","created":{"date-parts":[[2007,11,16]],"date-time":"2007-11-16T15:58:50Z","timestamp":1195228730000},"page":"5","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Experimenting with diversity in the model driven development of a railway signaling system"],"prefix":"10.1145","author":[{"given":"Michele","family":"Banci","sequence":"first","affiliation":[{"name":"ISTI-CNR, Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Fantechi","sequence":"additional","affiliation":[{"name":"Universit\u00e0 degli Studi di, Firenze, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefania","family":"Gnesi","sequence":"additional","affiliation":[{"name":"ISTI-CNR, Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giovanni","family":"Lombardi","sequence":"additional","affiliation":[{"name":"ISTI-CNR, Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,9,4]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s001650050022"},{"key":"e_1_3_2_1_2_1","unstructured":"Alain Le Guennec Bernard Dion Esterel Technologies Bridging UML and Safety-Critical Software Development Environments.  Alain Le Guennec Bernard Dion Esterel Technologies Bridging UML and Safety-Critical Software Development Environments."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008645826258"},{"key":"e_1_3_2_1_4_1","volume-title":"European Standard","author":"CENELEC European Committee for Electrotechnical Standardization.","year":"1997","unstructured":"CENELEC European Committee for Electrotechnical Standardization. Railway applications: software for railway control and protection systems . European Standard , June 1997 . prEN 50128. CENELEC European Committee for Electrotechnical Standardization. Railway applications: software for railway control and protection systems. European Standard, June 1997. prEN 50128."},{"key":"e_1_3_2_1_5_1","volume-title":"European Standard","author":"CENELEC European Committee for Electrotechnical Standardization.","year":"1999","unstructured":"CENELEC European Committee for Electrotechnical Standardization. Railway applications: safety railway related electronic systems for signalling . European Standard , December 1999 . prEN 50129. CENELEC European Committee for Electrotechnical Standardization. Railway applications: safety railway related electronic systems for signalling. European Standard, December 1999. prEN 50129."},{"key":"e_1_3_2_1_6_1","volume-title":"European Standard","author":"CENELEC European Committee for Electrotechnical Standardization, Railwayapplications","year":"1997","unstructured":"CENELEC European Committee for Electrotechnical Standardization, Railwayapplications : software for railway control and protection systems . European Standard , June 1997 . prEN 50126. CENELEC European Committee for Electrotechnical Standardization, Railwayapplications: software for railway control and protection systems. European Standard, June 1997. prEN 50126."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/647396.724544"},{"key":"e_1_3_2_1_8_1","volume-title":"FMICS Ninth International Workshop on Formal Methods for Industrial Critical Systems, Linz, September 20--21","author":"Banci M.","year":"2004","unstructured":"M. Banci , A. Fantechi , Geographical vs. Functional Modelling by Statecharts of Interlocking Systems . FMICS Ninth International Workshop on Formal Methods for Industrial Critical Systems, Linz, September 20--21 , 2004 . Electronic Notes in Computer Science (Elsevier). M. Banci, A. Fantechi, Geographical vs. Functional Modelling by Statecharts of Interlocking Systems. FMICS Ninth International Workshop on Formal Methods for Industrial Critical Systems, Linz, September 20--21, 2004. Electronic Notes in Computer Science (Elsevier)."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/647544.730488"},{"key":"e_1_3_2_1_10_1","volume-title":"Quaderno 12","author":"Debarbieri P. E.","year":"1987","unstructured":"P. E. Debarbieri , F. Valdambrini and E. Antonelli , A. C. E. I. Telecomandati per linee a semplice binario, schemi 10\/19. CIFI Collana di testi per la preparazione agli esami di abilitazione , Quaderno 12 , 1987 . P. E. Debarbieri, F. Valdambrini and E. Antonelli, A. C. E. I. Telecomandati per linee a semplice binario, schemi 10\/19. CIFI Collana di testi per la preparazione agli esami di abilitazione, Quaderno 12, 1987."},{"key":"e_1_3_2_1_11_1","volume-title":"Institut National Polytechnique de Grenoble","author":"D","year":"1991","unstructured":"Pascal Raymond, Ph D thesis : Compilation efficace d'un langage d'eclaratif synchrone: le generateur de code Lustrev3 , Institut National Polytechnique de Grenoble , 1991 . Pascal Raymond, PhD thesis: Compilation efficace d'un langage d'eclaratif synchrone: le generateur de code Lustrev3, Institut National Polytechnique de Grenoble, 1991."}],"event":{"name":"ESEC\/FSE07: Joint 11th European Software Engineering Conference 2007","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Dubrovnik Croatia","acronym":"ESEC\/FSE07"},"container-title":["Proceedings of the 2007 workshop on Engineering fault tolerant systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1316550.1316555","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1316550.1316555","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:56:26Z","timestamp":1750254986000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1316550.1316555"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9,4]]},"references-count":11,"alternative-id":["10.1145\/1316550.1316555","10.1145\/1316550"],"URL":"https:\/\/doi.org\/10.1145\/1316550.1316555","relation":{},"subject":[],"published":{"date-parts":[[2007,9,4]]},"assertion":[{"value":"2007-09-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}