{"id":"https://openalex.org/W4408042738","doi":"https://doi.org/10.1007/s10270-025-01276-3","title":"Models for formal methods and tools: the case of railway systems","display_name":"Models for formal methods and tools: the case of railway systems","publication_year":2025,"publication_date":"2025-02-28","ids":{"openalex":"https://openalex.org/W4408042738","doi":"https://doi.org/10.1007/s10270-025-01276-3"},"language":"en","primary_location":{"id":"doi:10.1007/s10270-025-01276-3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10270-025-01276-3","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10270-025-01276-3.pdf","source":{"id":"https://openalex.org/S64245694","display_name":"Software & Systems Modeling","issn_l":"1619-1366","issn":["1619-1366","1619-1374"],"is_oa":false,"is_in_doaj":false,"is_core":true,"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software and Systems Modeling","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10270-025-01276-3.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5064415269","display_name":"Maurice H. ter Beek","orcid":"https://orcid.org/0000-0002-2930-6367"},"institutions":[{"id":"https://openalex.org/I122991210","display_name":"Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\"","ror":"https://ror.org/05kacka20","country_code":"IT","type":"facility","lineage":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"M. H. ter Beek","raw_affiliation_strings":["Formal Methods and Tools lab, CNR\u2013ISTI, Via G. Moruzzi 1, Pisa, 56124, Italy"],"affiliations":[{"raw_affiliation_string":"Formal Methods and Tools lab, CNR\u2013ISTI, Via G. Moruzzi 1, Pisa, 56124, Italy","institution_ids":["https://openalex.org/I122991210"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5064415269"],"corresponding_institution_ids":["https://openalex.org/I122991210"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":{"value":2290,"currency":"EUR","value_usd":2890},"fwci":7.3308,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.95816158,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":99,"max":100},"biblio":{"volume":"24","issue":"6","first_page":"1935","last_page":"1954"},"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.9997000098228455,"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.9997000098228455,"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/T10142","display_name":"Formal Methods in Verification","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5207076668739319},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.41020703315734863},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.37091031670570374},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3146096169948578},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.3090365529060364}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5207076668739319},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.41020703315734863},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.37091031670570374},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3146096169948578},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.3090365529060364}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s10270-025-01276-3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10270-025-01276-3","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10270-025-01276-3.pdf","source":{"id":"https://openalex.org/S64245694","display_name":"Software & Systems Modeling","issn_l":"1619-1366","issn":["1619-1366","1619-1374"],"is_oa":false,"is_in_doaj":false,"is_core":true,"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software and Systems Modeling","raw_type":"journal-article"},{"id":"pmh:oai:dnet:iris________::43433e2fdb9facd68eba071a3faca783","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S7407055261","display_name":"ISTI Open Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"SOFTWARE AND SYSTEMS MODELING, vol. 24 (issue 6), pp. 1935-1954","raw_type":"Journal article"}],"best_oa_location":{"id":"doi:10.1007/s10270-025-01276-3","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10270-025-01276-3","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10270-025-01276-3.pdf","source":{"id":"https://openalex.org/S64245694","display_name":"Software & Systems Modeling","issn_l":"1619-1366","issn":["1619-1366","1619-1374"],"is_oa":false,"is_in_doaj":false,"is_core":true,"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software and Systems Modeling","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4408042738.pdf"},"referenced_works_count":141,"referenced_works":["https://openalex.org/W13051096","https://openalex.org/W68069235","https://openalex.org/W233122475","https://openalex.org/W591743112","https://openalex.org/W613345191","https://openalex.org/W1176542980","https://openalex.org/W1480909796","https://openalex.org/W1489391022","https://openalex.org/W1498432697","https://openalex.org/W1528367975","https://openalex.org/W1535116423","https://openalex.org/W1553511155","https://openalex.org/W1554863622","https://openalex.org/W1582439588","https://openalex.org/W1599995366","https://openalex.org/W1882160752","https://openalex.org/W1962072139","https://openalex.org/W1987382793","https://openalex.org/W1988524530","https://openalex.org/W1993855479","https://openalex.org/W1999798506","https://openalex.org/W2009489720","https://openalex.org/W2020073275","https://openalex.org/W2023504215","https://openalex.org/W2031111226","https://openalex.org/W2032191478","https://openalex.org/W2071725124","https://openalex.org/W2084642972","https://openalex.org/W2090669830","https://openalex.org/W2092137831","https://openalex.org/W2094442885","https://openalex.org/W2099529102","https://openalex.org/W2099809555","https://openalex.org/W2106419991","https://openalex.org/W2109597998","https://openalex.org/W2121451727","https://openalex.org/W2123106596","https://openalex.org/W2124621264","https://openalex.org/W2128823042","https://openalex.org/W2142340571","https://openalex.org/W2159433799","https://openalex.org/W2166423024","https://openalex.org/W2168633587","https://openalex.org/W2169504289","https://openalex.org/W2184985296","https://openalex.org/W2272618361","https://openalex.org/W2345578040","https://openalex.org/W2360128964","https://openalex.org/W2407773024","https://openalex.org/W2478041726","https://openalex.org/W2487176464","https://openalex.org/W2500837971","https://openalex.org/W2522462291","https://openalex.org/W2553561438","https://openalex.org/W2588080234","https://openalex.org/W2592147877","https://openalex.org/W2620444793","https://openalex.org/W2737151265","https://openalex.org/W2766346509","https://openalex.org/W2767965410","https://openalex.org/W2787596386","https://openalex.org/W2791307021","https://openalex.org/W2800996886","https://openalex.org/W2803993242","https://openalex.org/W2807600988","https://openalex.org/W2810491896","https://openalex.org/W2883971886","https://openalex.org/W2885628182","https://openalex.org/W2885880873","https://openalex.org/W2886878430","https://openalex.org/W2889263046","https://openalex.org/W2899125593","https://openalex.org/W2908957302","https://openalex.org/W2912198824","https://openalex.org/W2912640545","https://openalex.org/W2934379134","https://openalex.org/W2944364052","https://openalex.org/W2945607852","https://openalex.org/W2946384079","https://openalex.org/W2969411916","https://openalex.org/W2969940418","https://openalex.org/W2974906992","https://openalex.org/W2979249584","https://openalex.org/W2981584093","https://openalex.org/W2981739602","https://openalex.org/W2983541997","https://openalex.org/W2988187357","https://openalex.org/W2990287530","https://openalex.org/W2995348545","https://openalex.org/W2997536990","https://openalex.org/W3000433034","https://openalex.org/W3006060688","https://openalex.org/W3015036017","https://openalex.org/W3034231288","https://openalex.org/W3035434438","https://openalex.org/W3041991984","https://openalex.org/W3082634688","https://openalex.org/W3091156432","https://openalex.org/W3091355367","https://openalex.org/W3097772958","https://openalex.org/W3146484529","https://openalex.org/W3192789951","https://openalex.org/W3196048243","https://openalex.org/W3196230615","https://openalex.org/W3208645270","https://openalex.org/W3214190848","https://openalex.org/W3215264355","https://openalex.org/W4214928512","https://openalex.org/W4220979297","https://openalex.org/W4223474770","https://openalex.org/W4224315461","https://openalex.org/W4229007983","https://openalex.org/W4236750285","https://openalex.org/W4237346412","https://openalex.org/W4241863337","https://openalex.org/W4242177437","https://openalex.org/W4244819751","https://openalex.org/W4250846042","https://openalex.org/W4251772280","https://openalex.org/W4252553752","https://openalex.org/W4252915848","https://openalex.org/W4285032067","https://openalex.org/W4285097421","https://openalex.org/W4290087439","https://openalex.org/W4296371626","https://openalex.org/W4307287963","https://openalex.org/W4312269352","https://openalex.org/W4322096727","https://openalex.org/W4360993861","https://openalex.org/W4366149089","https://openalex.org/W4385983939","https://openalex.org/W4388233004","https://openalex.org/W4393253423","https://openalex.org/W4399262243","https://openalex.org/W4399498587","https://openalex.org/W4401719342","https://openalex.org/W4401722656","https://openalex.org/W4403761865","https://openalex.org/W4404236045","https://openalex.org/W6947992238","https://openalex.org/W7028934875"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W1587246512","https://openalex.org/W2488581006","https://openalex.org/W2913714777","https://openalex.org/W61995002"],"abstract_inverted_index":{"Abstract":[0],"Formal":[1,37],"methods":[2,38,78,96,118,165],"and":[3,110,119,148,161,166,172],"tools":[4,97,120,167],"are":[5,39],"successfully":[6],"applied":[7],"to":[8,58,76,107,121,151],"the":[9,20,31,43,48,56,82,89,137,169,175,179],"development":[10],"of":[11,84,94,124,134,163],"safety-critical":[12],"systems":[13,109],"for":[14,34,127],"decades":[15],"now,":[16],"in":[17,19,47,88,103,115],"particular":[18,104],"transport":[21],"domain,":[22],"without":[23],"a":[24,64,68,122,132],"single":[25],"technique":[26],"or":[27],"tool":[28],"emerging":[29],"as":[30,74],"dominant":[32],"solution":[33],"system":[35],"design.":[36],"highly":[40],"recommended":[41],"by":[42],"existing":[44],"safety":[45],"standards":[46],"railway":[49,52,99,108,138,176],"industry,":[50],"but":[51],"engineers":[53],"typically":[54],"lack":[55],"knowledge":[57],"transform":[59],"their":[60,111],"semi-formal":[61],"models":[62],"into":[63],"formal":[65,77,95,117,164],"model,":[66],"with":[67,105,131],"precise":[69],"semantics,":[70],"that":[71],"can":[72],"serve":[73],"input":[75],"tools.":[79],"We":[80,101,140],"share":[81],"results":[83],"performing":[85],"empirical":[86],"studies":[87],"field,":[90],"including":[91],"usability":[92],"analyses":[93],"involving":[98],"practitioners.":[100],"discuss,":[102],"respect":[106],"modelling,":[112],"our":[113],"experiences":[114,147],"applying":[116],"variety":[123],"case":[125],"studies,":[126],"which":[128],"we":[129],"interacted":[130],"number":[133],"companies":[135],"from":[136,145,174],"domain.":[139],"report":[141],"on":[142,168,178],"lessons":[143],"learned":[144],"these":[146],"provide":[149],"pointers":[150],"steer":[152],"future":[153],"research":[154],"towards":[155],"facilitating":[156],"further":[157],"synergies":[158],"between":[159],"researchers":[160],"developers":[162],"one":[170],"hand":[171],"practitioners":[173],"industry":[177],"other.":[180]},"counts_by_year":[{"year":2026,"cited_by_count":3}],"updated_date":"2026-03-18T14:38:29.013473","created_date":"2025-10-10T00:00:00"}