{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T00:57:28Z","timestamp":1770339448406,"version":"3.49.0"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2014,8,17]],"date-time":"2014-08-17T00:00:00Z","timestamp":1408233600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2014,11]]},"DOI":"10.1007\/s10009-014-0342-1","type":"journal-article","created":{"date-parts":[[2014,8,16]],"date-time":"2014-08-16T02:57:49Z","timestamp":1408157869000},"page":"643-646","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":15,"title":["Formal methods for railway control systems"],"prefix":"10.1007","volume":"16","author":[{"given":"Alessandro","family":"Fantechi","sequence":"first","affiliation":[]},{"given":"Francesco","family":"Flammini","sequence":"additional","affiliation":[]},{"given":"Stefania","family":"Gnesi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,8,17]]},"reference":[{"key":"342_CR1","unstructured":"Bj\u00f8rner, D.: New results and trends in formal techniques and tools for the development of software for transportation systems: a review. In: Proceedings 4th Symposium on Formal Methods for Railway Operation and Control Systems (FORMS03), LHarmattan Hongrie, Budapest (2003)"},{"key":"342_CR2","unstructured":"European Committee for Electrotechnical Standardization. CENELEC EN50128. Railway applications-communication, signalling and processing systems-software for railway control and protection systems (2011)"},{"key":"342_CR3","unstructured":"ERTMS. http:\/\/www.ertms.net"},{"key":"342_CR4","doi-asserted-by":"crossref","unstructured":"Fantechi, A.: The role of formal methods in software development for railway applications. In: Chapter 12 of Francesco Flammini (ed) Railway safety, reliability, and security: technologies and systems engineering, pp. 282\u2013297. IGI Global (2012)","DOI":"10.4018\/978-1-4666-1643-1.ch012"},{"key":"342_CR5","doi-asserted-by":"crossref","unstructured":"Fantechi, A., Fokkink, W., Morzenti, A.: Some trends in formal methods applications to railway signaling. In: Gnesi, S., Margaria, T. (eds) Formal methods for industrial critical systems: a survey of applications. IEEE Computer Society Press, Washington, DC (2013)","DOI":"10.1002\/9781118459898.ch4"},{"key":"342_CR6","doi-asserted-by":"crossref","unstructured":"Fantechi, A.: Twenty-five years of formal methods and railways: what next? In: SEFM Workshops, LNCS 8368, pp. 167\u2013183 (2013)","DOI":"10.1007\/978-3-319-05032-4_13"},{"key":"342_CR7","doi-asserted-by":"crossref","unstructured":"Ferrari, A., Spagnolo, G.O., Martelli, G., Menabeni, S.: From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions (2014)","DOI":"10.1007\/s10009-013-0298-6"},{"key":"342_CR8","doi-asserted-by":"crossref","unstructured":"Haxthausen, A.E.: Automated generation of formal safety conditions from railway interlocking tables (2014)","DOI":"10.1007\/s10009-013-0295-9"},{"key":"342_CR9","doi-asserted-by":"crossref","unstructured":"Iliasov, A., Romanovsky, A.: SafeCap domain language for reasoning about safety and capacity. Newcastle University, Computing Science, Technical Report Series, CS-TR-1352 (2012)","DOI":"10.1109\/WDTS-RASD.2012.11"},{"key":"342_CR10","unstructured":"Institute of Electrical and Electronics Engineers. IEEE Standard for Communications Based Train Control (CBTC) Performance and Functional Requirements. IEEE Std 1474.1-2004."},{"key":"342_CR11","doi-asserted-by":"crossref","unstructured":"James, P., Moller, F., Nguyen, H.N., Roggenbach, M., Schneider, S., Treharne, H.: Techniques for modelling and verifying railway interlockings (2014)","DOI":"10.1007\/s10009-014-0304-7"},{"key":"342_CR12","doi-asserted-by":"crossref","unstructured":"Marrone, S., Flammini, F., Mazzocca, N., Nardone, R., Vittorini, V.: Towards model-driven V&V assessment of railway control systems (2014)","DOI":"10.1007\/s10009-014-0320-7"},{"key":"342_CR13","unstructured":"Pascoe, R.D., Eichorn, T.N.: What is communication-based train control? IEEE Veh. Technol. Mag. 4(4), 16\u201321 (2009)"},{"key":"342_CR14","unstructured":"Peters, J.C., Frittelli, J.: Positive train control (PTC): overview and policy issues, Congressional Research Service Report R42637 (2012)"},{"key":"342_CR15","doi-asserted-by":"crossref","unstructured":"Flammini, F., Marrone, S., Mazzocca, N., Nardone, R., Vittorini, V.: Model-driven V&V processes for computer based control systems: a unifying perspective. In: ISoLA12-Track on Formal Methods for Intelligent Transportation Systems. Lecture Notes in Computer Science, vol. 7610, pp. 190\u2013204 (2012)","DOI":"10.1007\/978-3-642-34032-1_20"},{"key":"342_CR16","doi-asserted-by":"crossref","unstructured":"Gigante, G., Pascarella, D.: Formal methods in avionic software certification: the DO-178C perspective. In: ISoLA12-Track on formal methods for intelligent transportation systems. Lecture Notes in Computer Science, vol. 7610, pp. 205\u2013215 (2012)","DOI":"10.1007\/978-3-642-34032-1_21"},{"key":"342_CR17","doi-asserted-by":"crossref","unstructured":"Ferrari, A., Spagnolo, G.O., Martelli, G., Menabeni, S.: Product line engineering applied to CBTC systems development. In: ISoLA12-Track on Formal Methods for Intelligent Transportation Systems. Lecture Notes in Computer Science, vol. 7610, pp. 216\u2013230 (2012)","DOI":"10.1007\/978-3-642-34032-1_22"},{"key":"342_CR18","doi-asserted-by":"crossref","unstructured":"Marrone, S., Nardone, R., Orazzo, A., Petrone, I., Velardi, L.: Improving verification process in driverless metro systems: the MBAT project. In: ISoLA12-Track on Formal Methods for Intelligent Transportation Systems. Lecture Notes in Computer Science, vol. 7610, pp. 231\u2013245 (2012)","DOI":"10.1007\/978-3-642-34032-1_23"},{"key":"342_CR19","doi-asserted-by":"crossref","unstructured":"Winter, K.: Optimising ordering strategies for symbolic model checking of railway interlockings. In: ISoLA12-Track on Formal Methods for Intelligent Transportation Systems. Lecture Notes in Computer Science, vol. 7610, pp. 246\u2013260 (2012)","DOI":"10.1007\/978-3-642-34032-1_24"},{"key":"342_CR20","doi-asserted-by":"crossref","unstructured":"Haxthausen, A.E.: Automated generation of safety requirements for railway interlocking systems. In: ISoLA12-Track on Formal Methods for Intelligent Transportation Systems. Lecture Notes in Computer Science, vol. 7610, pp. 262\u2013275 (2012)","DOI":"10.1007\/978-3-642-34032-1_25"},{"key":"342_CR21","doi-asserted-by":"crossref","unstructured":"Fantechi, A.: Distributing the challenge of model checking interlocking control tables. In: ISoLA12-Track on Formal Methods for Intelligent Transportation Systems. Lecture Notes in Computer Science, vol. 7610, pp. 276\u2013289 (2012)","DOI":"10.1007\/978-3-642-34032-1_26"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-014-0342-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-014-0342-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-014-0342-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,14]],"date-time":"2019-08-14T02:16:42Z","timestamp":1565749002000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-014-0342-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8,17]]},"references-count":21,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2014,11]]}},"alternative-id":["342"],"URL":"https:\/\/doi.org\/10.1007\/s10009-014-0342-1","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,8,17]]}}}