{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T16:51:49Z","timestamp":1725987109193},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319989372"},{"type":"electronic","value":"9783319989389"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-98938-9_2","type":"book-chapter","created":{"date-parts":[[2018,8,8]],"date-time":"2018-08-08T11:08:34Z","timestamp":1533726514000},"page":"20-29","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":39,"title":["On the Industrial Uptake of Formal Methods in the Railway Domain"],"prefix":"10.1007","author":[{"given":"Davide","family":"Basile","sequence":"first","affiliation":[]},{"given":"Maurice H.","family":"ter Beek","sequence":"additional","affiliation":[]},{"given":"Alessandro","family":"Fantechi","sequence":"additional","affiliation":[]},{"given":"Stefania","family":"Gnesi","sequence":"additional","affiliation":[]},{"given":"Franco","family":"Mazzanti","sequence":"additional","affiliation":[]},{"given":"Andrea","family":"Piattino","sequence":"additional","affiliation":[]},{"given":"Daniele","family":"Trentini","sequence":"additional","affiliation":[]},{"given":"Alessio","family":"Ferrari","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,8,9]]},"reference":[{"issue":"5","key":"2_CR1","doi-asserted-by":"publisher","first-page":"619","DOI":"10.3217\/jucs-013-05-0619","volume":"13","author":"JR Abrial","year":"2007","unstructured":"Abrial, J.R.: Formal methods: theory becoming practice. J. Univ. Comput. Sci. 13(5), 619\u2013628 (2007). https:\/\/doi.org\/10.3217\/jucs-013-05-0619","journal-title":"J. Univ. Comput. Sci."},{"key":"2_CR2","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. In: Margaria, T., Steffen, B. (eds.) Proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018). LNCS. Springer, Heidelberg (2018, to appear)","DOI":"10.1007\/978-3-030-03421-4_24"},{"key":"2_CR3","first-page":"44","volume":"112","author":"MH Beek ter","year":"2018","unstructured":"ter Beek, M.H., Fantechi, A., Ferrari, A., Gnesi, S., Scopigno, R.: Formal methods for the railway sector. ERCIM News 112, 44\u201345 (2018). https:\/\/ercim-news.ercim.eu\/en112\/r-i\/formal-methods-for-the-railway-sector","journal-title":"ERCIM News"},{"key":"2_CR4","doi-asserted-by":"publisher","unstructured":"ter Beek, M.H., Fantechi, A., Gnesi, S.: Product line models of large cyber-physical systems: the case of ERTMS\/ETCS. In: Proceedings of the 22nd International Systems and Software Product Line Conference (SPLC 2018). ACM (2018). https:\/\/doi.org\/10.1145\/3233027.3233046","DOI":"10.1145\/3233027.3233046"},{"issue":"3","key":"2_CR5","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/s10009-018-0487-4","volume":"20","author":"MH Beek ter","year":"2018","unstructured":"ter Beek, M.H., Gnesi, S., Knapp, A.: Formal methods for transport systems. Int. J. Softw. Tools Technol. Transf. 20(3), 237\u2013241 (2018). https:\/\/doi.org\/10.1007\/s10009-018-0487-4","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"2_CR6","unstructured":"Bj\u00f8rner, D.: New results and trends in formal techniques and tools for the development of software for transportation systems \u2013 a review. In: Tarnai, G., Schnieder, E. (eds.) Proceedings of the 4th Symposium on Formal Methods for Railway Operation and Control Systems (FORMS 2003). L\u2019Harmattan (2003)"},{"key":"2_CR7","doi-asserted-by":"publisher","DOI":"10.1002\/9781119002727","volume-title":"Formal Methods Applied to Industrial Complex Systems - Implementation of the B Method","year":"2014","unstructured":"Boulanger, J.L. (ed.): Formal Methods Applied to Industrial Complex Systems - Implementation of the B Method. Wiley, Hoboken (2014). https:\/\/doi.org\/10.1002\/9781119002727"},{"key":"2_CR8","unstructured":"European Committee for Electrotechnical Standardization: CENELEC EN 50128 \u2013 railway applications - communication, signalling and processing systems - software for railway control and protection systems, 1 June 2011. https:\/\/standards.globalspec.com\/std\/1678027\/cenelec-en-50128"},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-319-05032-4_13","volume-title":"Software Engineering and Formal Methods","author":"A Fantechi","year":"2014","unstructured":"Fantechi, A.: Twenty-five years of formal methods and railways: what next? In: Counsell, S., N\u00fa\u00f1ez, M. (eds.) SEFM 2013. LNCS, vol. 8368, pp. 167\u2013183. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-05032-4_13"},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/978-3-319-47169-3_18","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications","author":"A Fantechi","year":"2016","unstructured":"Fantechi, A., Ferrari, A., Gnesi, S.: Formal methods and safety certification: challenges in the railways domain. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9953, pp. 261\u2013265. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47169-3_18"},{"issue":"7","key":"2_CR11","doi-asserted-by":"publisher","first-page":"828","DOI":"10.1016\/j.scico.2012.04.003","volume":"78","author":"A Ferrari","year":"2013","unstructured":"Ferrari, A., Fantechi, A., Magnani, G., Grasso, D., Tempestini, M.: The Metr\u00f4 Rio case study. Sci. Comput. Program. 78(7), 828\u2013842 (2013). https:\/\/doi.org\/10.1016\/j.scico.2012.04.003","journal-title":"Sci. Comput. Program."},{"key":"2_CR12","doi-asserted-by":"publisher","DOI":"10.4018\/978-1-4666-1643-1","volume-title":"Railway Safety, Reliability, and Security: Technologies and Systems Engineering","year":"2012","unstructured":"Flammini, F. (ed.): Railway Safety, Reliability, and Security: Technologies and Systems Engineering. IGI Global, Hershey (2012). https:\/\/doi.org\/10.4018\/978-1-4666-1643-1"},{"key":"2_CR13","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1007\/s10009-014-0304-7","volume":"16","author":"P James","year":"2014","unstructured":"James, P., Moller, F., Nguyen, H.N., Roggenbach, M., Schneider, S., Treharne, H.: Techniques for modelling and verifying railway interlockings. Int. J. Softw. Tools Technol. Transf. 16, 685\u2013711 (2014). https:\/\/doi.org\/10.1007\/s10009-014-0304-7","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"2_CR14","doi-asserted-by":"publisher","unstructured":"Mazzanti, F., Ferrari, A.: Ten diverse formal models for a CBTC automatic train supervision system. In: Gallagher, J.P., van Glabbeek, R., Serwe, W. (eds.) Proceedings of the 3rd Workshop on Models for Formal Analysis of Real Systems and the 6th International Workshop on Verification and Program Transformation (MARS\/VPT 2018). Electronic Proceedings in Theoretical Computer Science, vol. 268, pp. 104\u2013149 (2018). https:\/\/doi.org\/10.4204\/EPTCS.268.4","DOI":"10.4204\/EPTCS.268.4"},{"issue":"3","key":"2_CR15","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/s10009-018-0488-3","volume":"20","author":"F Mazzanti","year":"2018","unstructured":"Mazzanti, F., Ferrari, A., Spagnolo, G.O.: Towards formal methods diversity in railways: an experience report with seven frameworks. Int. J. Softw. Tools Technol. Transf. 20(3), 263\u2013288 (2018). https:\/\/doi.org\/10.1007\/s10009-018-0488-3","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"2_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-319-10702-8_8","volume-title":"Formal Methods for Industrial Critical Systems","author":"F Mazzanti","year":"2014","unstructured":"Mazzanti, F., Spagnolo, G.O., Della Longa, S., Ferrari, A.: Deadlock avoidance in train scheduling: a model checking approach. In: Lang, F., Flammini, F. (eds.) FMICS 2014. LNCS, vol. 8718, pp. 109\u2013123. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-10702-8_8"},{"key":"2_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-642-39611-3_20","volume-title":"Hardware and Software: Verification and Testing","author":"F Moller","year":"2013","unstructured":"Moller, F., Nguyen, H.N., Roggenbach, M., Schneider, S., Treharne, H.: Defining and model checking abstractions of complex railway models using CSP$$||$$B. In: Biere, A., Nahir, A., Vos, T. (eds.) HVC 2012. LNCS, vol. 7857, pp. 193\u2013208. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39611-3_20"},{"issue":"2","key":"2_CR18","doi-asserted-by":"publisher","first-page":"233","DOI":"10.17730\/humo.56.2.x335923511444655","volume":"56","author":"R Scupin","year":"1997","unstructured":"Scupin, R.: The KJ method: a technique for analyzing data derived from Japanese ethnology. Hum. Organ. 56(2), 233\u2013237 (1997). https:\/\/doi.org\/10.17730\/humo.56.2.x335923511444655","journal-title":"Hum. Organ."},{"key":"2_CR19","unstructured":"Sun, P.: Model based system engineering for safety of railway critical systems. Ph.D. thesis, Ecole Centrale de Lille (2015). https:\/\/tel.archives-ouvertes.fr\/tel-01293395"},{"issue":"3","key":"2_CR20","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/s10009-018-0482-9","volume":"20","author":"S Vanit-Anunchai","year":"2018","unstructured":"Vanit-Anunchai, S.: Modelling and simulating a Thai railway signalling system using coloured Petri Nets. Int. J. Softw. Tools Technol. Transf. 20(3), 243\u2013262 (2018). https:\/\/doi.org\/10.1007\/s10009-018-0482-9","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"2_CR21","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/j.scico.2016.05.010","volume":"133","author":"LH Vu","year":"2017","unstructured":"Vu, L.H., Haxthausen, A.E., Peleska, J.: Formal modelling and verification of interlocking systems featuring sequential release. Sci. Comput. Program. 133, 91\u2013115 (2017). https:\/\/doi.org\/10.1016\/j.scico.2016.05.010","journal-title":"Sci. Comput. Program."},{"key":"2_CR22","unstructured":"Winter, K.: Model checking railway interlocking systems. In: Oudshoorn, M.J. (ed.) Proceedings of the 25th Australasian Conference on Computer Science (ACSC 2002). Conferences in Research and Practice in Information Technology, vol. 4, pp. 303\u2013310. Australian Computer Society (2002). http:\/\/crpit.com\/confpapers\/CRPITV4Winter.pdf"},{"key":"2_CR23","unstructured":"Winter, K., Johnston, W., Robinson, P., Strooper, P., van den Berg, L.: Tool support for checking railway interlocking designs. In: Cant, T. (ed.) Proceedings of the 10th Australian Workshop on Safety Critical Systems and Software (SCS 2005). Conferences in Research and Practice in Information Technology, vol. 55, pp. 101\u2013107. Australian Computer Society (2006). http:\/\/crpit.com\/confpapers\/CRPITV55Winter.pdf"},{"key":"2_CR24","unstructured":"Winter, K., Robinson, N.J.: Modelling large railway interlockings and model checking small ones. In: Oudshoorn, M.J. (ed.) Proceedings of the 26th Australasian Computer Science Conference (ACSC 2003). Conferences in Research and Practice in Information Technology, vol. 16, pp. 309\u2013316. Australian Computer Society (2003). http:\/\/crpit.com\/confpapers\/CRPITV16Winter.pdf"},{"issue":"4","key":"2_CR25","doi-asserted-by":"publisher","first-page":"19:1","DOI":"10.1145\/1592434.1592436","volume":"41","author":"J Woodcock","year":"2009","unstructured":"Woodcock, J., Larsen, P.G., Bicarregui, J., Fitzgerald, J.S.: Formal methods: practice and experience. ACM Comput. Surv. 41(4), 19:1\u201319:36 (2009). https:\/\/doi.org\/10.1145\/1592434.1592436","journal-title":"ACM Comput. Surv."}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-98938-9_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,21]],"date-time":"2019-10-21T21:01:16Z","timestamp":1571691676000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-98938-9_2"}},"subtitle":["A Survey with Stakeholders"],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319989372","9783319989389"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-98938-9_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}