{"id":"https://openalex.org/W7128094243","doi":"https://doi.org/10.1007/978-3-032-12484-5_2","title":"A Train to the OPERA","display_name":"A Train to the OPERA","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7128094243","doi":"https://doi.org/10.1007/978-3-032-12484-5_2"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-032-12484-5_2","doi":"https://doi.org/10.1007/978-3-032-12484-5_2","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-032-12484-5_2","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","jufo-1","ki-jl-1","norway-1","vabb-shw"],"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"volume":{"id":"https://openalex.org/W7127909663","display_name":"Journeys Between Formal Methods and the Railway Industry"},"type":"conference-paper","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5037671595","display_name":"Roberto Cavada","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I2277624104","display_name":"Fondazione Bruno Kessler","ror":"https://ror.org/01j33xk10","country_code":"IT","type":"facility","lineage":["https://openalex.org/I2277624104"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Roberto Cavada","raw_affiliation_strings":["Fondazione Bruno Kessler, Digital Industry Center, Trento, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Fondazione Bruno Kessler, Digital Industry Center, Trento, Italy","institution_ids":["https://openalex.org/I2277624104"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017426974","display_name":"Alessandro Cimatti","orcid":"https://orcid.org/0000-0002-1315-6990","observed_orcids":["https://orcid.org/0000-0002-1315-6990"]},"institutions":[{"id":"https://openalex.org/I2277624104","display_name":"Fondazione Bruno Kessler","ror":"https://ror.org/01j33xk10","country_code":"IT","type":"facility","lineage":["https://openalex.org/I2277624104"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Alessandro Cimatti","raw_affiliation_strings":["Fondazione Bruno Kessler, Digital Industry Center, Trento, Italy"],"raw_orcid":"https://orcid.org/0000-0002-1315-6990","affiliations":[{"raw_affiliation_string":"Fondazione Bruno Kessler, Digital Industry Center, Trento, Italy","institution_ids":["https://openalex.org/I2277624104"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061820674","display_name":"Giuseppe Scaglione","orcid":"https://orcid.org/0009-0005-0447-5446","observed_orcids":["https://orcid.org/0009-0005-0447-5446"]},"institutions":[{"id":"https://openalex.org/I4210117345","display_name":"Trenitalia (Italy)","ror":"https://ror.org/02c4sht73","country_code":"IT","type":"company","lineage":["https://openalex.org/I4210117345"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Giuseppe Scaglione","raw_affiliation_strings":["Rete Ferroviaria Italiana, Rome, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Rete Ferroviaria Italiana, Rome, Italy","institution_ids":["https://openalex.org/I4210117345"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021820623","display_name":"Angelo Susi","orcid":"https://orcid.org/0000-0002-5026-7462","observed_orcids":["https://orcid.org/0000-0002-5026-7462"]},"institutions":[{"id":"https://openalex.org/I2277624104","display_name":"Fondazione Bruno Kessler","ror":"https://ror.org/01j33xk10","country_code":"IT","type":"facility","lineage":["https://openalex.org/I2277624104"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Angelo Susi","raw_affiliation_strings":["Fondazione Bruno Kessler, Digital Industry Center, Trento, Italy"],"raw_orcid":"https://orcid.org/0000-0002-5026-7462","affiliations":[{"raw_affiliation_string":"Fondazione Bruno Kessler, Digital Industry Center, Trento, Italy","institution_ids":["https://openalex.org/I2277624104"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5089652033","display_name":"Matteo Tessi","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I4210117345","display_name":"Trenitalia (Italy)","ror":"https://ror.org/02c4sht73","country_code":"IT","type":"company","lineage":["https://openalex.org/I4210117345"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Matteo Tessi","raw_affiliation_strings":["Rete Ferroviaria Italiana, Rome, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Rete Ferroviaria Italiana, Rome, Italy","institution_ids":["https://openalex.org/I4210117345"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5021820623"],"corresponding_institution_ids":["https://openalex.org/I2277624104"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"13","last_page":"30"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.4975999891757965,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.4975999891757965,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13615","display_name":"Transportation Systems and Safety","score":0.19089999794960022,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.10849999636411667,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/railway-interlocking","display_name":"railway interlocking","score":0.9359999895095825},{"id":"https://openalex.org/keywords/opera-project","display_name":"OPERA project","score":0.6399999856948853},{"id":"https://openalex.org/keywords/controlled-natural-language","display_name":"controlled natural language","score":0.9710000157356262},{"id":"https://openalex.org/keywords/model-based-engineering","display_name":"model-based engineering","score":0.8119999766349792},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.9819999933242798},{"id":"https://openalex.org/keywords/code-generation","display_name":"code generation","score":0.8259999752044678},{"id":"https://openalex.org/keywords/test-case-generation","display_name":"test case generation","score":0.9369999766349792},{"id":"https://openalex.org/keywords/railway-safety","display_name":"railway safety","score":0.3799999952316284}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8449000120162964},{"id":"https://openalex.org/C2778844933","wikidata":"https://www.wikidata.org/wiki/Q630950","display_name":"Interlocking","level":2,"score":0.7774999737739563},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.6651999950408936},{"id":"https://openalex.org/C190839683","wikidata":"https://www.wikidata.org/wiki/Q2448197","display_name":"Train","level":2,"score":0.6572999954223633},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.6297000050544739},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5882999897003174},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5619999766349792},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5425999760627747},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.512499988079071},{"id":"https://openalex.org/C530479602","wikidata":"https://www.wikidata.org/wiki/Q1344","display_name":"Opera","level":2,"score":0.490200012922287},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.426800012588501},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.42260000109672546},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4189999997615814},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.3675999939441681},{"id":"https://openalex.org/C153185123","wikidata":"https://www.wikidata.org/wiki/Q1391624","display_name":"Sequence diagram","level":4,"score":0.3425000011920929},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.322299987077713},{"id":"https://openalex.org/C2776299755","wikidata":"https://www.wikidata.org/wiki/Q432449","display_name":"Carry (investment)","level":2,"score":0.3091999888420105},{"id":"https://openalex.org/C135257023","wikidata":"https://www.wikidata.org/wiki/Q691358","display_name":"Domain-specific language","level":2,"score":0.30149999260902405},{"id":"https://openalex.org/C102780508","wikidata":"https://www.wikidata.org/wiki/Q1761598","display_name":"Software requirements specification","level":5,"score":0.2935999929904938},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.29269999265670776},{"id":"https://openalex.org/C74172769","wikidata":"https://www.wikidata.org/wiki/Q1446839","display_name":"Routing (electronic design automation)","level":2,"score":0.2915000021457672},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.28850001096725464},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.2847000062465668},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.2824999988079071},{"id":"https://openalex.org/C506615639","wikidata":"https://www.wikidata.org/wiki/Q21662260","display_name":"Command and control","level":2,"score":0.2773999869823456},{"id":"https://openalex.org/C76214141","wikidata":"https://www.wikidata.org/wiki/Q2465506","display_name":"Separation of concerns","level":3,"score":0.2743000090122223},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.2615000009536743},{"id":"https://openalex.org/C2776608160","wikidata":"https://www.wikidata.org/wiki/Q4785462","display_name":"Natural (archaeology)","level":2,"score":0.2581999897956848},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.2565000057220459}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-032-12484-5_2","doi":"https://doi.org/10.1007/978-3-032-12484-5_2","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-032-12484-5_2","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","jufo-1","ki-jl-1","norway-1","vabb-shw"],"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":1.0,"display_name":"Industry, innovation and infrastructure"}],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W1202605146","https://openalex.org/W2140959918","https://openalex.org/W2788267443","https://openalex.org/W2910587153","https://openalex.org/W3096699223","https://openalex.org/W3153343958","https://openalex.org/W3183719236","https://openalex.org/W4226294324","https://openalex.org/W4286492719","https://openalex.org/W4290087428","https://openalex.org/W4312481161","https://openalex.org/W4387068953","https://openalex.org/W4391320388","https://openalex.org/W4400938963","https://openalex.org/W4402487174","https://openalex.org/W4403228984","https://openalex.org/W4403407408","https://openalex.org/W4403757583","https://openalex.org/W4403781552","https://openalex.org/W4403781558","https://openalex.org/W4403782339","https://openalex.org/W4403785127","https://openalex.org/W4409291558","https://openalex.org/W4412544421","https://openalex.org/W4412897676","https://openalex.org/W4416242436"],"related_works":["https://openalex.org/W3096699223","https://openalex.org/W7221666088","https://openalex.org/W2529088006","https://openalex.org/W4319944784","https://openalex.org/W4400938963","https://openalex.org/W7131874151","https://openalex.org/W2992858820","https://openalex.org/W2023890744","https://openalex.org/W2394620635","https://openalex.org/W2884064289"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2026-02-07T00:00:00"}