{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,16]],"date-time":"2026-10-16T21:07:13Z","timestamp":1792184833242,"version":"4.4.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,9,10]],"date-time":"2018-09-10T00:00:00Z","timestamp":1536537600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100011105","name":"European Commission","doi-asserted-by":"publisher","award":["777561"],"award-info":[{"award-number":["777561"]}],"id":[{"id":"10.13039\/100011105","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,9,10]]},"DOI":"10.1145\/3233027.3233046","type":"proceedings-article","created":{"date-parts":[[2018,9,20]],"date-time":"2018-09-20T12:37:00Z","timestamp":1537447020000},"page":"208-214","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Product line models of large cyber-physical systems"],"prefix":"10.1145","author":[{"given":"Maurice H. ter","family":"Beek","sequence":"first","affiliation":[{"name":"Istituto di Scienza e Tecnologie, Pisa, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alessandro","family":"Fantechi","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Firenze, Firenze, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Stefania","family":"Gnesi","sequence":"additional","affiliation":[{"name":"Istituto di Scienza e Tecnologie, Pisa, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2018,9,10]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499777.2499779"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-014-0441-1"},{"key":"e_1_3_2_1_3_1","volume-title":"Proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'18)","author":"Basile D."},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of the 14th International Conference on Integrated Formal Methods (IFM'18)","author":"Basile D."},{"key":"e_1_3_2_1_5_1","first-page":"44","article-title":"Formal Methods for the Railway Sector","volume":"112","author":"Beek M.H.","year":"2018","journal-title":"ERCIM News"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2791060.2791100"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49224-6_22"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"M. H. ter Beek A. Legay A. Lluch Lafuente and A. Vandin. 2018. A framework for quantitative modeling and analysis of highly (re)configurable systems. IEEE Transactions on Software Engineering (2018).  M. H. ter Beek A. Legay A. Lluch Lafuente and A. Vandin. 2018. A framework for quantitative modeling and analysis of highly (re)configurable systems. IEEE Transactions on Software Engineering (2018).","DOI":"10.1007\/978-3-030-34968-4_35"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.01.001"},{"key":"e_1_3_2_1_10_1","volume-title":"IFAC Proceedings Volumes (Proceedings of the 9th IFAC Symposium on Control in Transportation Systems) 33","author":"Bock U.","year":"2000"},{"key":"e_1_3_2_1_11_1","unstructured":"EEIG ERTMS Users Group. 1998. ERTMS\/ETCS RAMS Requirements Specification: Chapter 2 - RAM. http:\/\/www.era.europa.eu\/Document-Register\/Documents\/B1-02s1266-.pdf.  EEIG ERTMS Users Group. 1998. ERTMS\/ETCS RAMS Requirements Specification: Chapter 2 - RAM. http:\/\/www.era.europa.eu\/Document-Register\/Documents\/B1-02s1266-.pdf."},{"key":"e_1_3_2_1_12_1","unstructured":"EEIG ERTMS Users Group. 2016. System Requirements Specification v3.6.0 - SUBSET-026. http:\/\/www.era.europa.eu\/Document-Register\/Pages\/Set-3-System-Requirements-Specification.aspx.  EEIG ERTMS Users Group. 2016. System Requirements Specification v3.6.0 - SUBSET-026. http:\/\/www.era.europa.eu\/Document-Register\/Pages\/Set-3-System-Requirements-Specification.aspx."},{"key":"e_1_3_2_1_13_1","unstructured":"EEIG ERTMS Users Group. 2017. Hybrid ERTMS\/ETCS Level 3: Principles. http:\/\/users.ecs.soton.ac.uk\/asf08r\/ABZ2018\/16E0421A_HL3.pdf.  EEIG ERTMS Users Group. 2017. Hybrid ERTMS\/ETCS Level 3: Principles. http:\/\/users.ecs.soton.ac.uk\/asf08r\/ABZ2018\/16E0421A_HL3.pdf."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106195.3106217"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"J. Meinicke T. Th\u00fcm R. Schr\u00f6ter F. Benduhn T. Leich and G. Saake. 2017. Mastering Software Variability with FeatureIDE. Springer.   J. Meinicke T. Th\u00fcm R. Schr\u00f6ter F. Benduhn T. Leich and G. Saake. 2017. Mastering Software Variability with FeatureIDE. Springer.","DOI":"10.1007\/978-3-319-61443-4"},{"key":"e_1_3_2_1_16_1","unstructured":"I. Mitchell E. Goddard F. Montes P. Stanley R. Muttram W. Coenraad J. Por\u00e9 S. Andrews and L. Lochman. 2016. ERTMS Level 4 Train Convoys or Virtual Coupling. IRSE News 219 (February 2016) 1--3. http:\/\/www.irse.org\/knowledge\/publicdocuments\/ITC%20Report%2039.pdf.  I. Mitchell E. Goddard F. Montes P. Stanley R. Muttram W. Coenraad J. Por\u00e9 S. Andrews and L. Lochman. 2016. ERTMS Level 4 Train Convoys or Virtual Coupling. IRSE News 219 (February 2016) 1--3. http:\/\/www.irse.org\/knowledge\/publicdocuments\/ITC%20Report%2039.pdf."},{"key":"e_1_3_2_1_17_1","unstructured":"A. Murashkin. 2014. Automotive Electronic\/Electric Architecture Modeling Design Exploration and Optimization using Clafer. Master's thesis. University of Waterloo.  A. Murashkin. 2014. Automotive Electronic\/Electric Architecture Modeling Design Exploration and Optimization using Clafer. Master's thesis. University of Waterloo."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491627.2491647"},{"key":"e_1_3_2_1_19_1","unstructured":"International Union of Railways (UIC). 2002. Virtually coupled trains. http:\/\/www.railway-energy.org\/static\/Virtually_coupled_trains_86.php.  International Union of Railways (UIC). 2002. Virtually coupled trains. http:\/\/www.railway-energy.org\/static\/Virtually_coupled_trains_86.php."},{"key":"e_1_3_2_1_20_1","unstructured":"H. Ohmstede. 2009. Method for reducing data in railway operation. U.S. Patent 7 578 485 https:\/\/patents.google.com\/patent\/US7578485.  H. Ohmstede. 2009. Method for reducing data in railway operation. U.S. Patent 7 578 485 https:\/\/patents.google.com\/patent\/US7578485."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"K. Pohl G. B\u00f6ckle and F.J. van der Linden. 2005. Software Product Line Engineering: Foundations Principles and Techniques. Springer.   K. Pohl G. B\u00f6ckle and F.J. van der Linden. 2005. Software Product Line Engineering: Foundations Principles and Techniques. Springer.","DOI":"10.1007\/3-540-28901-1"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837461"},{"key":"e_1_3_2_1_23_1","volume-title":"Proceedings of the 23rd International Conference Radioelektronika (RADIOELEKTRONIKA'13)","author":"Rispoli F."},{"key":"e_1_3_2_1_24_1","unstructured":"Shift2Rail Joint Undertaking. 2015. Multi-Annual Action Plan. http:\/\/ec.europa.eu\/research\/participants\/data\/ref\/h2020\/other\/wp\/jtis\/h2020-maap-shift2rail_en.pdf.  Shift2Rail Joint Undertaking. 2015. Multi-Annual Action Plan. http:\/\/ec.europa.eu\/research\/participants\/data\/ref\/h2020\/other\/wp\/jtis\/h2020-maap-shift2rail_en.pdf."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2791060.2791067"}],"event":{"name":"SPLC '18: 22nd International Systems and Software Product Line Conference","location":"Gothenburg Sweden","acronym":"SPLC '18"},"container-title":["Proceedings of the 22nd International Systems and Software Product Line Conference - Volume 1"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3233027.3233046","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3233027.3233046","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:07:54Z","timestamp":1750212474000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3233027.3233046"}},"subtitle":["the case of ERTMS\/ETCS"],"short-title":[],"issued":{"date-parts":[[2018,9,10]]},"references-count":25,"alternative-id":["10.1145\/3233027.3233046","10.1145\/3233027"],"URL":"https:\/\/doi.org\/10.1145\/3233027.3233046","relation":{},"subject":[],"published":{"date-parts":[[2018,9,10]]},"assertion":[{"value":"2018-09-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}