{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:42:15Z","timestamp":1750308135980,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,9,5]],"date-time":"2005-09-05T00:00:00Z","timestamp":1125878400000},"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":[[2005,9,5]]},"DOI":"10.1145\/1081180.1081197","type":"proceedings-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T17:34:39Z","timestamp":1131384879000},"page":"134-143","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Instantiating generic charts for railway interlocking systems"],"prefix":"10.1145","author":[{"given":"Michele","family":"Banci","sequence":"first","affiliation":[{"name":"ISTI - CNR, Formal Methods and Tools Group, Pisa, Italy"}]},{"given":"Alessandro","family":"Fantechi","sequence":"additional","affiliation":[{"name":"Universit\u00e0 degli Studi di Firenze, Firenze, Italy"}]}],"member":"320","published-online":{"date-parts":[[2005,9,5]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"220","volume-title":"Proc. of the 5th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS\/FORMAT 2004","author":"Banci M.","year":"2004","unstructured":"M. Banci and A. Fantechi . The role of format methods in developing a distributed railway interlocking system. In E. Schnieder and G. Tarnai, editors , Proc. of the 5th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS\/FORMAT 2004 ), pages 220 -- 230 . Technical University of Braunschweig, Institute for Traffic Safety and Automation Engineering , November 2004 .]] M. Banci and A. Fantechi. The role of format methods in developing a distributed railway interlocking system. In E. Schnieder and G. Tarnai, editors, Proc. of the 5th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS\/FORMAT 2004), pages 220--230. Technical University of Braunschweig, Institute for Traffic Safety and Automation Engineering, November 2004.]]"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.08.055"},{"key":"e_1_3_2_1_3_1","first-page":"1993","article-title":"Euris, the european railway interlocking specification. In IRSE Proceedings 1992\/93, page 70-82. UIC","volume":"7","author":"Berger J.","year":"1992","unstructured":"J. Berger , P. Middelraad , and A. J. Smith . Euris, the european railway interlocking specification. In IRSE Proceedings 1992\/93, page 70-82. UIC , Commission 7A\/16 , 1992 , 1993 .]] J. Berger, P. Middelraad, and A. J. Smith. Euris, the european railway interlocking specification. In IRSE Proceedings 1992\/93, page 70-82. UIC, Commission 7A\/16, 1992, 1993.]]","journal-title":"Commission"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008645826258"},{"key":"e_1_3_2_1_5_1","volume-title":"Paris","author":"Bouar P. L.","year":"2003","unstructured":"P. L. Bouar . Interlocking sncf functional requirements description . Paris , 28 May 2003 . Eurointerlocking Project.]] P. L. Bouar. Interlocking sncf functional requirements description. Paris, 28 May 2003. Eurointerlocking Project.]]"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s001650050022"},{"key":"e_1_3_2_1_7_1","volume-title":"CIFI","author":"Debarbieri P. E.","year":"1997","unstructured":"P. E. Debarbieri , F. Valdambrini , and E. Antonelli . A.C.E.I. Telecomandati per linee a semplice binario, schemi I0\/19, volume 12 . CIFI , 1997 . Collana di testi per la preparazione agli esami di abilitazione.]] P. E. Debarbieri, F. Valdambrini, and E. Antonelli. A.C.E.I. Telecomandati per linee a semplice binario, schemi I0\/19, volume 12. CIFI, 1997. Collana di testi per la preparazione agli esami di abilitazione.]]"},{"key":"e_1_3_2_1_8_1","volume-title":"Zurich","author":"Eriksson L. H.","year":"2000","unstructured":"L. H. Eriksson , G. Finnie , I. Herrtua , and N. Koenig . Formal methods strategy study report, report of a study carried out on behalf of the international union of railways (uic). Technical report, project EURO-INTERLOCKING , Zurich , 2000 .]] L. H. Eriksson, G. Finnie, I. Herrtua, and N. Koenig. Formal methods strategy study report, report of a study carried out on behalf of the international union of railways (uic). Technical report, project EURO-INTERLOCKING, Zurich, 2000.]]"},{"key":"e_1_3_2_1_9_1","volume-title":"Railway applications Communications, signaling and processing systems Software for railway control and protection systems","author":"European Committee for Electrotechnical Standardization. EN 50128","year":"2001","unstructured":"European Committee for Electrotechnical Standardization. EN 50128 , Railway applications Communications, signaling and processing systems Software for railway control and protection systems , 2001 .]] European Committee for Electrotechnical Standardization. EN 50128, Railway applications Communications, signaling and processing systems Software for railway control and protection systems, 2001.]]"},{"key":"e_1_3_2_1_10_1","volume-title":"Symposium on Formal Methods for Railway Operation and Control Systems (FORMS 2003","author":"Foschi U.","year":"2003","unstructured":"U. Foschi , M. Giuliani , A. Morzenti , M. Pradella , and P. S. Pietro . The role of formal methods in software procurement for the railway transportation industry . In Symposium on Formal Methods for Railway Operation and Control Systems (FORMS 2003 ), Budapest, Hungary , 15-16 May 2003 .]] U. Foschi, M. Giuliani, A. Morzenti, M. Pradella, and P. S. Pietro. The role of formal methods in software procurement for the railway transportation industry. In Symposium on Formal Methods for Railway Operation and Control Systems (FORMS 2003), Budapest, Hungary, 15-16 May 2003.]]"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/64.180408"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24721-0_17"},{"key":"e_1_3_2_1_13_1","first-page":"54","volume-title":"Proc. 2nd IEEE LICS Symposium","author":"Harel D.","year":"1987","unstructured":"D. Harel , A. Pnueli , J. Schmidt , and R. Sherman . On the formal semantics of statecharts . In Proc. 2nd IEEE LICS Symposium , pages 54 -- 64 , Ithaca, NY , 1987 .]] D. Harel, A. Pnueli, J. Schmidt, and R. Sherman. On the formal semantics of statecharts. In Proc. 2nd IEEE LICS Symposium, pages 54--64, Ithaca, NY, 1987.]]"},{"key":"e_1_3_2_1_14_1","volume-title":"Modelling Reactive Systems with Statecharts: The STATEMATE Approach","author":"Harel D.","year":"1998","unstructured":"D. Harel and M. Politi . Modelling Reactive Systems with Statecharts: The STATEMATE Approach . McGraw-Hill , 1998 . Early version titled: The Languages of STATEMATE, I-Logix, Inc., Andover, MA, 1991.]] D. Harel and M. Politi. Modelling Reactive Systems with Statecharts: The STATEMATE Approach. McGraw-Hill, 1998. Early version titled: The Languages of STATEMATE, I-Logix, Inc., Andover, MA, 1991.]]"},{"key":"e_1_3_2_1_15_1","first-page":"83","volume-title":"FORMS 2003","author":"Haxthausen A. E.","year":"2003","unstructured":"A. E. Haxthausen and J. Peleska . Generation of executable railway control components from domain-specific descriptions . In FORMS 2003 , pages 83 -- 90 , Budapest\/Hungary , May 15-16 2003 . Tarnai, E. Schnieder (eds).]] A. E. Haxthausen and J. Peleska. Generation of executable railway control components from domain-specific descriptions. In FORMS 2003, pages 83--90, Budapest\/Hungary, May 15-16 2003. Tarnai, E. Schnieder (eds).]]"},{"key":"e_1_3_2_1_16_1","volume-title":"Statemate Magnum Simulation Reference Manual","author":"Inc Logix","year":"2003","unstructured":"I- Logix Inc , Burlington, MA USA. Statemate Magnum Simulation Reference Manual , 2003 .]] I-Logix Inc, Burlington, MA USA. Statemate Magnum Simulation Reference Manual, 2003.]]"},{"key":"e_1_3_2_1_17_1","volume-title":"Symposium on Formal Methods for Railway Operation and Control Systems (FORMS 2003)","author":"Koenig N. H.","year":"2003","unstructured":"N. H. Koenig and S. Einer . The euro-interlocking formalized functional requirements approach (eiffra) . Symposium on Formal Methods for Railway Operation and Control Systems (FORMS 2003) , 15-16 May 2003 .]] N. H. Koenig and S. Einer. The euro-interlocking formalized functional requirements approach (eiffra). Symposium on Formal Methods for Railway Operation and Control Systems (FORMS 2003), 15-16 May 2003.]]"},{"key":"e_1_3_2_1_18_1","volume-title":"proceedings of the 6th annual Workshop on Higher Order Logic Theorem Proving and its Applications","volume":"740","author":"Morley M. J.","year":"1993","unstructured":"M. J. Morley . Safety in railway signalling data: A behavioural analysis . In proceedings of the 6th annual Workshop on Higher Order Logic Theorem Proving and its Applications , volume LNCS 740 , Vancouver , 4-6 August 1993 . Springer-Verlag.]] M. J. Morley. Safety in railway signalling data: A behavioural analysis. In proceedings of the 6th annual Workshop on Higher Order Logic Theorem Proving and its Applications, volume LNCS 740, Vancouver, 4-6 August 1993. Springer-Verlag.]]"},{"key":"e_1_3_2_1_19_1","volume-title":"Version 1.5","author":"Object Management Group","year":"1999","unstructured":"Object Management Group , http:\/\/www.omg.org\/technology\/documents\/formal\/uml.htm. Unified Modelling Language Specification , Version 1.5 , 1999 .]] Object Management Group, http:\/\/www.omg.org\/technology\/documents\/formal\/uml.htm. Unified Modelling Language Specification, Version 1.5, 1999.]]"},{"key":"e_1_3_2_1_20_1","volume-title":"January","author":"Object Management Group","year":"2002","unstructured":"Object Management Group , http:\/\/www.omg.org\/docs\/formal\/02-01-01.pdf. XML Metadata Interchange (XMI) Specification. Version 1.2 , January 2002 .]] Object Management Group, http:\/\/www.omg.org\/docs\/formal\/02-01-01.pdf. XML Metadata Interchange (XMI) Specification. Version 1.2, January 2002.]]"},{"key":"e_1_3_2_1_21_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"296","DOI":"10.1007\/3-540-49646-7_23","volume-title":"a specification method for distributed interlockings","author":"van Dijk F. J.","year":"1998","unstructured":"F. J. van Dijk , W. J. Fokkink , G. P. Kolk , P. H. J. van de Ven , and S. F. M. van Vlijmen . Euris , a specification method for distributed interlockings . In Lecture Notes in Computer Science , volume 1516 , pages 296 -- 305 , Heidelberg, October 1998 . Springer . 17th Conference on Computer Safety, Reliability and Security - SAFECOMP'98.]] F. J. van Dijk, W. J. Fokkink, G. P. Kolk, P. H. J. van de Ven, and S. F. M. van Vlijmen. Euris, a specification method for distributed interlockings. In Lecture Notes in Computer Science, volume 1516, pages 296--305, Heidelberg, October 1998. Springer. 17th Conference on Computer Safety, Reliability and Security - SAFECOMP'98.]]"}],"event":{"name":"FMICS05: Tenth International Workshop on Formal Methods in Industrial Criticial Systems 2005","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Lisbon Portugal","acronym":"FMICS05"},"container-title":["Proceedings of the 10th international workshop on Formal methods for industrial critical systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1081180.1081197","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1081180.1081197","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:08:33Z","timestamp":1750262913000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1081180.1081197"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,9,5]]},"references-count":21,"alternative-id":["10.1145\/1081180.1081197","10.1145\/1081180"],"URL":"https:\/\/doi.org\/10.1145\/1081180.1081197","relation":{},"subject":[],"published":{"date-parts":[[2005,9,5]]},"assertion":[{"value":"2005-09-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}