{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,16]],"date-time":"2026-02-16T15:43:04Z","timestamp":1771256584381,"version":"3.50.1"},"reference-count":63,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T00:00:00Z","timestamp":1649116800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T00:00:00Z","timestamp":1649116800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"Deutsches Zentrum f\u00fcr Luft- und Raumfahrt e. V. (DLR)"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2022,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Reliability engineering of railway infrastructure aims to understand failure processes and to improve the efficiency and effectiveness of investments and maintenance planning such that a high quality of service is achieved. While formal methods are widely used to verify the design specifications of safety-critical components in train control, quantitative methods to analyze the service reliability associated with specific system designs are only starting to emerge. In this paper, we strive to advance the use of formal fault-tree modeling for providing a quantitative assessment of the railway infrastructure\u2019s service reliability in the design phase. While, individually, most subsystems required for route-setting and train control are well understood, the system\u2019s reliability to globally provide its designated service capacity is less studied. To this end, we present a framework based on dynamic fault trees that allows to analyze train routability based on train paths projected in the interlocking system. We particularly focus on the dependency of train paths on track-based assets such as switches and crossings, which are particularly prone to failures due to their being subject to weather and heavy wear. By using probabilistic model checking to analyze and verify the reliability of feasible route sets for scheduled train lines, performance metrics for reliability analysis of the system as a whole as well as criticality analysis of individual (sub-)components become available. The approach, which has been previously discussed in our paper at FMICS 2019, is further refined, and additional algorithmic approaches, analysis settings and application scenarios in infrastructure and maintenance planning are discussed.<\/jats:p>","DOI":"10.1007\/s10009-022-00652-4","type":"journal-article","created":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T12:03:46Z","timestamp":1649160226000},"page":"331-350","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":18,"title":["DFT modeling approach for operational risk assessment of railway infrastructure"],"prefix":"10.1007","volume":"24","author":[{"given":"Norman","family":"Weik","sequence":"first","affiliation":[]},{"given":"Matthias","family":"Volk","sequence":"additional","affiliation":[]},{"given":"Joost-Pieter","family":"Katoen","sequence":"additional","affiliation":[]},{"given":"Nils","family":"Nie\u00dfen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,4,5]]},"reference":[{"key":"652_CR1","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1016\/j.ress.2014.04.021","volume":"130","author":"J Andrews","year":"2014","unstructured":"Andrews, J., Prescott, D., Rozi\u00e9res, F.D.: A stochastic model for railway track asset management. Reliab. Eng. Syst. Saf. 130, 76\u201384 (2014)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"652_CR2","doi-asserted-by":"crossref","unstructured":"Baier, C., de\u00a0Alfaro, L., Forejt, V., Kwiatkowska, M.: Model checking probabilistic systems. In: Handbook of Model Checking, pp. 963\u2013999. Springer (2018)","DOI":"10.1007\/978-3-319-10575-8_28"},{"issue":"4","key":"652_CR3","doi-asserted-by":"publisher","first-page":"751","DOI":"10.1017\/S0960129512000254","volume":"23","author":"C Baier","year":"2013","unstructured":"Baier, C., Hahn, E.M., Haverkort, B.R., Hermanns, H., Katoen, J.P.: Model checking for performability. Math. Struct. Comput. Sci. 23(4), 751\u2013795 (2013)","journal-title":"Math. Struct. Comput. Sci."},{"key":"652_CR4","doi-asserted-by":"crossref","unstructured":"Basile, D., ter Beek, M., Fantechi, A., Gnesi, S., Mazzanti, F., Piattino, A., Trentini, D., Ferrari, A.: On the Industrial Uptake of Formal Methods in the Railway Domain, LNCS, vol. 11023, pp. 20\u201329. Springer (2018)","DOI":"10.1007\/978-3-319-98938-9_2"},{"key":"652_CR5","doi-asserted-by":"crossref","unstructured":"Basile, D., ter Beek, M.H., Ciancia, V.: Statistical model checking of a moving block railway signalling scenario with Uppaal SMC-experience and outlook. In: Proceedings of ISoLA, LNCS, vol. 11245, pp. 372\u2013391. Springer (2018)","DOI":"10.1007\/978-3-030-03421-4_24"},{"issue":"5","key":"652_CR6","doi-asserted-by":"publisher","first-page":"1407","DOI":"10.1177\/0954409717727879","volume":"232","author":"SD Bemment","year":"2017","unstructured":"Bemment, S.D., Goodall, R.M., Dixon, R., Ward, C.P.: Improving the reliability and availability of railway track switching by analysing historical failure data and introducing functionally redundant subsystems. Proc. Inst. Mech. Eng. Part F J. Rail Rapid Transit 232(5), 1407\u20131424 (2017)","journal-title":"Proc. Inst. Mech. Eng. Part F J. Rail Rapid Transit"},{"issue":"4","key":"652_CR7","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1080\/01441647.2020.1728419","volume":"40","author":"N Be\u0161inovi\u0107","year":"2020","unstructured":"Be\u0161inovi\u0107, N.: Resilience in railway transport systems: a literature review and research agenda. Transp. Rev. 40(4), 457\u2013478 (2020)","journal-title":"Transp. Rev."},{"key":"652_CR8","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1016\/j.trc.2017.07.002","volume":"82","author":"M Biagi","year":"2017","unstructured":"Biagi, M., Carnevali, L., Paolieri, M., Vicario, E.: Performability evaluation of the ERTMS\/ETCS\u2014level 3. Transp. Res. Part C 82, 314\u2013336 (2017)","journal-title":"Transp. Res. Part C"},{"key":"652_CR9","doi-asserted-by":"crossref","unstructured":"Birnbaum, Z.: On the importance of different components in a multicomponent system. In: Multivariate Analysis-II, pp. 581\u2013592 (1969)","DOI":"10.21236\/AD0670563"},{"key":"652_CR10","doi-asserted-by":"crossref","unstructured":"Boudali, H., Crouzen, P., Stoelinga, M.: Dynamic fault tree analysis using input\/output interactive Markov chains. In: Proceedings of DSN, pp. 708\u2013717. IEEE (2007)","DOI":"10.1109\/DSN.2007.37"},{"key":"652_CR11","doi-asserted-by":"crossref","unstructured":"Budde, C.E., Ruijters, E., Stoelinga, M.: The dynamic fault tree rare event simulator. In: Proceedings of QEST, LNCS, vol. 12289, pp. 233\u2013238. Springer (2020)","DOI":"10.1007\/978-3-030-59854-9_17"},{"key":"652_CR12","doi-asserted-by":"crossref","unstructured":"Butler, M.J., K\u00f6rner, P., Krings, S., Lecomte, T., Leuschel, M., Mejia, L., Voisin, L.: The first twenty-five years of industrial use of the B-method. In: Proceedings of FMICS, LNCS, vol. 12327, pp. 189\u2013209. Springer (2020)","DOI":"10.1007\/978-3-030-58298-2_8"},{"key":"652_CR13","unstructured":"CENELEC: EN 50128: Railway applications\u2014Communication, signalling and processing systems\u2013software for railway control and protection systems (2011)"},{"key":"652_CR14","unstructured":"CENELEC: EN 50129: Railway applications\u2014communication, signalling and processing systems\u2014safety related electronic systems for signalling (2017)"},{"key":"652_CR15","unstructured":"CENELEC: EN 50126-1\/50126-2: Railway applications\u2014the specification and demonstration of reliability, availability, maintainability and safety (RAMS) (2018)"},{"issue":"2","key":"652_CR16","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1049\/iet-epa:20060244","volume":"1","author":"S Chen","year":"2007","unstructured":"Chen, S., Ho, T., Mao, B.: Reliability evaluations of railway power supplies by fault-tree analysis. IET Electr. Power Appl. 1(2), 161\u2013172 (2007)","journal-title":"IET Electr. Power Appl."},{"key":"652_CR17","doi-asserted-by":"crossref","unstructured":"Cimatti, A., Roveri, M., Tonetta, S.: Requirements validation for hybrid systems. In: Proceedings of CAV, LNCS, vol. 5643, pp. 188\u2013203. Springer (2009)","DOI":"10.1007\/978-3-642-02658-4_17"},{"key":"652_CR18","doi-asserted-by":"crossref","unstructured":"Dugan, J.B., Bavuso, S.J., Boyd, M.A.: Fault trees and sequence dependencies. In: Proceedings of RAMS, pp. 286\u2013293 (1990)","DOI":"10.1109\/ARMS.1990.67971"},{"issue":"2","key":"652_CR19","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/S0951-8320(01)00004-7","volume":"72","author":"Y Dutuit","year":"2001","unstructured":"Dutuit, Y., Rauzy, A.: Efficient algorithms to assess component and gate importance in fault tree analysis. Reliab. Eng. Syst. Saf. 72(2), 213\u2013222 (2001)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"652_CR20","unstructured":"Estevan, A.M.: Dependability and safety evaluation of railway signalling systems based on field data. Ph.D. thesis, Lulea University of Technology (2015)"},{"key":"652_CR21","doi-asserted-by":"crossref","unstructured":"Fantechi, A.: Twenty-five years of formal methods and railways: What next? In: SEFM, LNCS, vol. 8368, pp. 167\u2013183. Springer (2013)","DOI":"10.1007\/978-3-319-05032-4_13"},{"key":"652_CR22","doi-asserted-by":"crossref","unstructured":"Ferrari, A., Magnani, G., Grasso, D., Fantechi, A.: Model checking interlocking control tables. In: FORMS\/FORMAT 2010, pp. 107\u2013115. Springer (2011)","DOI":"10.1007\/978-3-642-14261-1_11"},{"key":"652_CR23","doi-asserted-by":"crossref","unstructured":"Ferrari, A., Mazzanti, F., Basile, D., ter Beek, M.H., Fantechi, A.: Comparing formal tools for system design: a judgment study. In: ICSE \u201920, pp. 62\u201374. ACM (2020)","DOI":"10.1145\/3377811.3380373"},{"key":"652_CR24","unstructured":"Fokkink, W., Hollingshead, P.: Verification of interlockings: from control tables to ladder logic diagrams. In: Proceedings of FMICS, vol.\u00a098, pp. 171\u2013185. CWI (1998)"},{"key":"652_CR25","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/j.ress.2019.02.005","volume":"186","author":"M Ghadhab","year":"2019","unstructured":"Ghadhab, M., Junges, S., Katoen, J.P., Kuntz, M., Volk, M.: Safety analysis for vehicle guidance systems with dynamic fault trees. Reliab. Eng. Syst. Saf. 186, 37\u201350 (2019)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"652_CR26","unstructured":"Guck, D., Katoen, J.P., Stoelinga, M., Luiten, T., Romijn, J.: Smart railroad maintenance engineering with stochastic model checking. In: Proceedings of RAILWAYS. Civil-Comp Press (2014)"},{"key":"652_CR27","doi-asserted-by":"crossref","unstructured":"Gulati, R., Dugan, J.B.: A modular approach for analyzing static and dynamic fault trees. In: Proceedings of RAMS, pp. 57\u201363 (1997)","DOI":"10.1109\/RAMS.1997.571665"},{"issue":"1","key":"652_CR28","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/S0167-6423(99)00016-7","volume":"36","author":"V Hartonas-Garmhausen","year":"2000","unstructured":"Hartonas-Garmhausen, V., Campos, S., Cimatti, A., Clarke, E., Giunchiglia, F.: Verification of a safety-critical railway interlocking system with real-time constraints. Sci. Comput. Program. 36(1), 53\u201364 (2000)","journal-title":"Sci. Comput. Program."},{"key":"652_CR29","unstructured":"Hassankiadeh, S.J.: Failure analysis of railway switches and crossings for the purpose of preventive maintenance. Master\u2019s thesis, KTH Stockholm (2011)"},{"key":"652_CR30","unstructured":"Henry, J.: Automatic fault tree construction for railway safety systems. Ph.D. thesis, Loughborough University (1996)"},{"key":"652_CR31","doi-asserted-by":"crossref","unstructured":"Hensel, C., Junges, S., Katoen, J.P., Quatmann, T., Volk, M.: The probabilistic model checker Storm. Int. J. Softw. Tools Technol. Transf. (2021)","DOI":"10.1007\/s10009-021-00633-z"},{"key":"652_CR32","doi-asserted-by":"crossref","unstructured":"Hermanns, H., Jansen, D.N., Usenko, Y.S.: From StoCharts to MoDeST: a comparative reliability analysis of train radio communications. In: WOSP, pp. 13\u201323. ACM (2005)","DOI":"10.1145\/1071021.1071023"},{"key":"652_CR33","unstructured":"James, P., Roggenbach, M.: Automatically verifying railway interlockings using SAT-based model checking. Electr. Commun. EASST 35 (2011)"},{"key":"652_CR34","doi-asserted-by":"crossref","unstructured":"Junges, S., Guck, D., Katoen, J.P., Rensink, A., Stoelinga, M.: Fault trees on a diet: automated reduction by graph rewriting. Formal Asp. of Comput. pp. 1\u201353 (2017)","DOI":"10.1007\/s00165-016-0412-0"},{"key":"652_CR35","doi-asserted-by":"crossref","unstructured":"Junges, S., Guck, D., Katoen, J.P., Stoelinga, M.: Uncovering dynamic fault trees. In: Proceedings of DSN, pp. 299\u2013310. IEEE (2016)","DOI":"10.1109\/DSN.2016.35"},{"key":"652_CR36","doi-asserted-by":"crossref","unstructured":"Junges, S., Katoen, J.P., Stoelinga, M., Volk, M.: One net fits all\u2014a unifying semantics of dynamic fault trees using GSPNs. In: Proceedings of Petri Nets, LNCS, vol. 10877, pp. 272\u2013293. Springer (2018)","DOI":"10.1007\/978-3-319-91268-4_14"},{"key":"652_CR37","unstructured":"Kalvakunta, R.G.: Reliability modelling of ERTMS\/ETCS. Master\u2019s thesis, NTNU (2017)"},{"key":"652_CR38","doi-asserted-by":"crossref","unstructured":"Kanso, K., Moller, F., Setzer, A.: Automated verification of signalling principles in railway interlocking systems. Electronic Notes in Theoretical Computer Science 250(2), 19\u201331 (2009). Proceedings of AVoCS","DOI":"10.1016\/j.entcs.2009.08.015"},{"key":"652_CR39","unstructured":"Kassa, E.: Analysis of failures within switches and crossings using failure modes and effects analysis methodology. In: Proceedings of Intelliswitch Symposium (2017)"},{"key":"652_CR40","doi-asserted-by":"crossref","unstructured":"Katoen, J.: The probabilistic model checking landscape. In: Proceedings of LICS, pp. 31\u201345. ACM (2016)","DOI":"10.1145\/2933575.2934574"},{"key":"652_CR41","doi-asserted-by":"crossref","unstructured":"Katoen, J., Stoelinga, M.: Boosting fault tree analysis by formal methods. In: ModelEd, TestEd, TrustEd, LNCS, vol. 10500, pp. 368\u2013389. Springer (2017)","DOI":"10.1007\/978-3-319-68270-9_19"},{"key":"652_CR42","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/j.trb.2014.10.002","volume":"71","author":"AA Khaled","year":"2015","unstructured":"Khaled, A.A., Jin, M., Clarke, D.B., Hoque, M.A.: Train design and routing optimization for evaluating criticality of freight railroad infrastructures. Transp. Res. Part B Methodol. 71, 71\u201384 (2015)","journal-title":"Transp. Res. Part B Methodol."},{"issue":"1","key":"652_CR43","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10703-017-0281-z","volume":"52","author":"B Luteberget","year":"2018","unstructured":"Luteberget, B., Johansen, C.: Efficient verification of railway infrastructure designs against standard regulations. Formal Methods Syst. Des. 52(1), 1\u201332 (2018)","journal-title":"Formal Methods Syst. Des."},{"issue":"2","key":"652_CR44","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1177\/0954409715624466","volume":"231","author":"A Morant","year":"2017","unstructured":"Morant, A., Gustafson, A., S\u00f6derholm, P., Larsson-Kr\u00e5ik, P.O., Kumar, U.: Safety and availability evaluation of railway operation based on the state of signalling systems. Proc. Inst. Mech. Eng. Part F J. Rail Rapid Transit 231(2), 226\u2013238 (2017)","journal-title":"Proc. Inst. Mech. Eng. Part F J. Rail Rapid Transit"},{"key":"652_CR45","unstructured":"ORR-Office of Road and Rail: Online data portal, Rail infrastructure, assets and environmental. https:\/\/dataportal.orr.gov.uk\/. Last accessed 01-05-2019 (2013)"},{"issue":"2","key":"652_CR46","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1109\/TR.2003.809657","volume":"52","author":"Y Ou","year":"2003","unstructured":"Ou, Y., Dugan, J.B.: Approximate sensitivity analysis for acyclic Markov reliability models. IEEE Trans. Rel. 52(2), 220\u2013230 (2003)","journal-title":"IEEE Trans. Rel."},{"key":"652_CR47","doi-asserted-by":"crossref","unstructured":"Platzer, A., Quesel, J.D.: European train control system: A case study in formal verification. In: Proceedings of ICFEM, vol. 5885, pp. 246\u2013265. Springer (2009)","DOI":"10.1007\/978-3-642-10373-5_13"},{"key":"652_CR48","doi-asserted-by":"crossref","unstructured":"Prescott, D., Andrews, J.: Modelling maintenance in railway infrastructure management. In: Proceedings of RAMS, pp. 1\u20136. IEEE (2013)","DOI":"10.1109\/RAMS.2013.6517678"},{"issue":"4","key":"652_CR49","doi-asserted-by":"publisher","first-page":"344","DOI":"10.1177\/0954409713481725","volume":"227","author":"D Rama","year":"2013","unstructured":"Rama, D., Andrews, J.D.: A reliability analysis of railway switches. Proc. Inst. Mech. Eng. Part F J. Rail Rapid Transit 227(4), 344\u2013363 (2013)","journal-title":"Proc. Inst. Mech. Eng. Part F J. Rail Rapid Transit"},{"issue":"3","key":"652_CR50","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/0951-8320(93)90060-C","volume":"40","author":"A Rauzy","year":"1993","unstructured":"Rauzy, A.: New algorithms for fault trees analysis. Reliab. Eng. Syst. Saf. 40(3), 203\u2013211 (1993)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"652_CR51","doi-asserted-by":"crossref","unstructured":"Ruijters, E., Budde, C.E., Nakhaee, M.C., Stoelinga, M., Bucur, D., Hiemstra, D., Schivo, S.: FFORT: a benchmark suite for fault tree analysis. In: Proceedings of ESREL, pp. 878\u2013885. Research Publishing Services (2019)","DOI":"10.3850\/978-981-11-2724-3_0641-cd"},{"key":"652_CR52","doi-asserted-by":"crossref","unstructured":"Ruijters, E., Guck, D., van Noort, M., Stoelinga, M.: Reliability-centered maintenance of the electrically insulated railway joint via fault tree analysis: a practical experience report. In: Proceedings of DSN. IEEE (2016)","DOI":"10.1109\/DSN.2016.67"},{"key":"652_CR53","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/j.cosrev.2015.03.001","volume":"15\u201316","author":"E Ruijters","year":"2015","unstructured":"Ruijters, E., Stoelinga, M.: Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools. Comput. Sci. Rev. 15\u201316, 29\u201362 (2015)","journal-title":"Comput. Sci. Rev."},{"key":"652_CR54","unstructured":"Stamatelatos, M., Vesely, W., Dugan, J.B., Fragola, J., Minarick, J., Railsback, J.: Fault Tree Handbook with Aerospace Applications. NASA Headquarters (2002)"},{"issue":"5","key":"652_CR55","doi-asserted-by":"publisher","first-page":"1457","DOI":"10.1177\/0954409715592189","volume":"230","author":"C Stenstr\u00f6m","year":"2016","unstructured":"Stenstr\u00f6m, C., Parida, A., Kumar, U.: Measuring and monitoring operational availability of rail infrastructure. Proc. Inst. Mech. Eng. Part F J. Rail Rapid Transit 230(5), 1457\u20131468 (2016)","journal-title":"Proc. Inst. Mech. Eng. Part F J. Rail Rapid Transit"},{"key":"652_CR56","doi-asserted-by":"crossref","unstructured":"ter Beek, M.H., Bor\u00e4lv, A., Fantechi, A., Ferrari, A., Gnesi, S., L\u00f6fving, C., Mazzanti, F.: Adopting formal methods in an industrial setting: the railways case. In: Procedings of FM, LNCS, vol. 11800,\u00a0pp. 762\u2013772. Springer (2019)","DOI":"10.1007\/978-3-030-30942-8_46"},{"key":"652_CR57","doi-asserted-by":"crossref","unstructured":"Vanit-Anunchai, S.: Modelling railway interlocking tables using coloured Petri nets. In: Proceedings of COORDINATION, LNCS, vol. 6116, pp. 137\u2013151. Springer (2010)","DOI":"10.1007\/978-3-642-13414-2_10"},{"key":"652_CR58","doi-asserted-by":"crossref","unstructured":"Vesely, W., Davis, T., Denning, R., Saltos, N.: Measures of risk importance and their applications. Technical report, Battelle Columbus Labs (1983)","DOI":"10.2172\/5786790"},{"issue":"1","key":"652_CR59","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1109\/TII.2017.2710316","volume":"14","author":"M Volk","year":"2018","unstructured":"Volk, M., Junges, S., Katoen, J.P.: Fast dynamic fault tree analysis by model checking techniques. IEEE Trans. Ind. Inf. 14(1), 370\u2013379 (2018)","journal-title":"IEEE Trans. Ind. Inf."},{"key":"652_CR60","doi-asserted-by":"crossref","unstructured":"Volk, M., Weik, N., Katoen, J.P., Nie\u00dfen, N.: A DFT modeling approach for infrastructure reliability analysis of railway station areas. In: Proceedings of FMICS, LNCS, vol. 11687, pp. 40\u201358. Springer (2019)","DOI":"10.1007\/978-3-030-27008-7_3"},{"key":"652_CR61","unstructured":"Weik, N.: Long-term capacity planning of railway infrastructure: a stochastic approach capturing infrastructure unavailability. Ph.D. thesis, RWTH Aachen University (2020)"},{"issue":"3","key":"652_CR62","first-page":"114","volume":"7","author":"N Weik","year":"2017","unstructured":"Weik, N., Nie\u00dfen, N.: A quasi-birth-and-death process approach for integrated capacity and reliability modeling of railway systems. J. Rail Transp. Plan. Manag. 7(3), 114\u2013126 (2017)","journal-title":"J. Rail Transp. Plan. Manag."},{"key":"652_CR63","unstructured":"Winter, K., Robinson, N.J.: Modelling large railway interlockings and model checking small ones. In: Proceedings of ACSC, pp. 309\u2013316. Australian Computer Society (2003)"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-022-00652-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-022-00652-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-022-00652-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,21]],"date-time":"2024-09-21T16:26:01Z","timestamp":1726935961000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-022-00652-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,4,5]]},"references-count":63,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2022,6]]}},"alternative-id":["652"],"URL":"https:\/\/doi.org\/10.1007\/s10009-022-00652-4","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,4,5]]},"assertion":[{"value":"8 March 2022","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 April 2022","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}