{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T06:50:59Z","timestamp":1772002259223,"version":"3.50.1"},"publisher-location":"Cham","reference-count":54,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030034207","type":"print"},{"value":"9783030034214","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-03421-4_24","type":"book-chapter","created":{"date-parts":[[2018,10,29]],"date-time":"2018-10-29T21:04:08Z","timestamp":1540847048000},"page":"372-391","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":24,"title":["Statistical Model Checking of a Moving Block Railway Signalling Scenario with Uppaal SMC"],"prefix":"10.1007","author":[{"given":"Davide","family":"Basile","sequence":"first","affiliation":[]},{"given":"Maurice H.","family":"ter Beek","sequence":"additional","affiliation":[]},{"given":"Vincenzo","family":"Ciancia","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,10,30]]},"reference":[{"issue":"1","key":"24_CR1","doi-asserted-by":"publisher","first-page":"6:1","DOI":"10.1145\/3158668","volume":"28","author":"G Agha","year":"2018","unstructured":"Agha, G., Palmskog, K.: A survey of statistical model checking. ACM Trans. Model. Comput. Simul. 28(1), 6:1\u20136:39 (2018). https:\/\/doi.org\/10.1145\/3158668","journal-title":"ACM Trans. Model. Comput. Simul."},{"key":"24_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5587-4","volume-title":"Handbook of Spatial Logics","author":"M Aiello","year":"2007","unstructured":"Aiello, M., Pratt-Hartmann, I.E., van Benthem, J.F.A.K.: Handbook of Spatial Logics. Springer, Dordrecht (2007). https:\/\/doi.org\/10.1007\/978-1-4020-5587-4"},{"key":"24_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/978-3-319-91271-4_19","volume-title":"Abstract State Machines, Alloy, B, TLA, VDM, and Z","author":"P Arcaini","year":"2018","unstructured":"Arcaini, P., Jezek, P., Kofron, J.: Modelling the hybrid ERTMS\/ETCS Level 3 case study in Spin. In: Butler, M., Raschke, A., Hoang, T.S., Reichl, K. (eds.) ABZ 2018. LNCS, vol. 10817, pp. 277\u2013291. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-91271-4_19"},{"key":"24_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/978-3-030-00244-2_7","volume-title":"Formal Methods for Industrial Critical Systems","author":"M Bartholomeus","year":"2018","unstructured":"Bartholomeus, M., Luttik, B., Willemse, T.: Modelling and analysing ERTMS hybrid Level 3 with the mCRL2 toolset. In: Howar, F., Barnat, J. (eds.) FMICS 2018. LNCS, vol. 11119, pp. 98\u2013114. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-00244-2_7"},{"issue":"1","key":"24_CR5","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1109\/tcns.2016.2609138","volume":"5","author":"E Bartocci","year":"2018","unstructured":"Bartocci, E., Gol, E.A., Haghighi, I., Belta, C.: A formal methods approach to pattern recognition and synthesis in reaction diffusion networks. IEEE Trans. Control. Netw. Syst. 5(1), 308\u2013320 (2018). https:\/\/doi.org\/10.1109\/tcns.2016.2609138","journal-title":"IEEE Trans. Control. Netw. Syst."},{"key":"24_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-319-98938-9_2","volume-title":"Integrated Formal Methods","author":"D Basile","year":"2018","unstructured":"Basile, D., et al.: On the industrial uptake of formal methods in the railway domain. In: Furia, C.A., Winter, K. (eds.) IFM 2018. LNCS, vol. 11023, pp. 20\u201329. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-98938-9_2"},{"issue":"2","key":"24_CR7","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/j.jrtpm.2016.03.003","volume":"6","author":"D Basile","year":"2016","unstructured":"Basile, D., Chiaradonna, S., Di Giandomenico, F., Gnesi, S.: A stochastic model-based approach to analyse reliable energy-saving rail road switch heating systems. J. Rail Transp. Plan. Manag. 6(2), 163\u2013181 (2016). https:\/\/doi.org\/10.1016\/j.jrtpm.2016.03.003","journal-title":"J. Rail Transp. Plan. Manag."},{"key":"24_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/978-3-319-47169-3_23","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications","author":"D Basile","year":"2016","unstructured":"Basile, D., Di Giandomenico, F., Gnesi, S.: Tuning energy consumption strategies in the railway domain: a model-based approach. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9953, pp. 315\u2013330. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47169-3_23"},{"key":"24_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/978-3-319-74781-1_19","volume-title":"Software Engineering and Formal Methods","author":"D Basile","year":"2018","unstructured":"Basile, D., Di Giandomenico, F., Gnesi, S.: A refinement approach to analyse critical cyber-physical systems. In: Cerone, A., Roveri, M. (eds.) SEFM 2017. LNCS, vol. 10729, pp. 267\u2013283. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-74781-1_19"},{"key":"24_CR10","doi-asserted-by":"publisher","unstructured":"Basile, D., Di Giandomenico, F., Gnesi, S.: Statistical model checking of an energy-saving cyber-physical system in the railway domain. In: Proceedings of the 32nd Symposium on Applied Computing (SAC 2017), pp. 1356\u20131363. ACM (2017). https:\/\/doi.org\/10.1145\/3019612.3019824","DOI":"10.1145\/3019612.3019824"},{"key":"24_CR11","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"},{"key":"24_CR12","doi-asserted-by":"publisher","unstructured":"ter Beek, M.H., Gnesi, S., Knapp, A.: Formal methods for transport systems. Int. J. Softw. Tools Technol. Transf. 20(3) (2018). https:\/\/doi.org\/10.1007\/s10009-018-0487-4","DOI":"10.1007\/s10009-018-0487-4"},{"key":"24_CR13","doi-asserted-by":"publisher","unstructured":"ter Beek, M.H., Legay, A., Lluch Lafuente, A., Vandin, A.: A framework for quantitative modeling and analysis of highly (re)configurable systems. IEEE Trans. Softw. Eng. (2018). https:\/\/doi.org\/10.1109\/TSE.2018.2853726","DOI":"10.1109\/TSE.2018.2853726"},{"key":"24_CR14","doi-asserted-by":"publisher","unstructured":"Behrmann, G., et al.: UPPAAL 4.0. In: Proceedings of the 3rd International Conference on the Quantitative Evaluation of SysTems (QEST 2006), pp. 125\u2013126. IEEE (2006). https:\/\/doi.org\/10.1109\/QEST.2006.59","DOI":"10.1109\/QEST.2006.59"},{"key":"24_CR15","doi-asserted-by":"publisher","unstructured":"Belmonte, G., Ciancia, V., Latella, D., Massink, M.: From collective adaptive systems to human centric computation and back: spatial model checking for medical imaging. In: ter Beek, M.H., Loreti, M. (eds.) Proceedings of the Workshop on FORmal Methods for the Quantitative Evaluation of Collective Adaptive SysTems (FORECAST 2016). Electronic Proceedings in Theoretical Computer Science, vol. 217, pp. 81\u201392 (2016). https:\/\/doi.org\/10.4204\/EPTCS.217.10","DOI":"10.4204\/EPTCS.217.10"},{"issue":"Suppl. 1","key":"24_CR16","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1007\/s10334-017-0634-z","volume":"30","author":"G Belmonte","year":"2017","unstructured":"Belmonte, G., et al.: A topological method for automatic segmentation of glioblastoma in MR FLAIR for radiotherapy. Magn. Reson. Mater. Phys. Biol. Med. 30(Suppl. 1), 437 (2017). https:\/\/doi.org\/10.1007\/s10334-017-0634-z","journal-title":"Magn. Reson. Mater. Phys. Biol. Med."},{"key":"24_CR17","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":"24_CR18","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":"24_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/978-3-642-35632-2_25","volume-title":"Runtime Verification","author":"P Bulychev","year":"2013","unstructured":"Bulychev, P., David, A., Larsen, K.G., Legay, A., Li, G., Poulsen, D.B.: Rewrite-based statistical model checking of WMTL. In: Qadeer, S., Tasiran, S. (eds.) RV 2012. LNCS, vol. 7687, pp. 260\u2013275. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-35632-2_25"},{"key":"24_CR20","doi-asserted-by":"publisher","unstructured":"Ciancia, V., Gilmore, S., Grilletti, G., Latella, D., Loreti, M., Massink, M.: Spatio-temporal model checking of vehicular movement in public transport systems. Int. J. Softw. Tools Technol. Transf. 20(3) (2018). https:\/\/doi.org\/10.1007\/s10009-018-0483-8","DOI":"10.1007\/s10009-018-0483-8"},{"key":"24_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/978-3-662-49224-6_24","volume-title":"Software Engineering and Formal Methods","author":"V Ciancia","year":"2015","unstructured":"Ciancia, V., Grilletti, G., Latella, D., Loreti, M., Massink, M.: An experimental spatio-temporal model checker. In: Bianculli, D., Calinescu, R., Rumpe, B. (eds.) SEFM 2015. LNCS, vol. 9509, pp. 297\u2013311. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-49224-6_24"},{"issue":"4","key":"24_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2168\/LMCS-12(4:2)2016","volume":"12","author":"V Ciancia","year":"2016","unstructured":"Ciancia, V., Latella, D., Loreti, M., Massink, M.: Model checking spatial logics for closure spaces. Log. Methods Comput. Sci. 12(4), 1\u201351 (2016). https:\/\/doi.org\/10.2168\/LMCS-12(4:2)2016","journal-title":"Log. Methods Comput. Sci."},{"key":"24_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/978-3-319-34096-8_6","volume-title":"Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems","author":"V Ciancia","year":"2016","unstructured":"Ciancia, V., Latella, D., Loreti, M., Massink, M.: Spatial logic and spatial model checking for closure spaces. In: Bernardo, M., De Nicola, R., Hillston, J. (eds.) SFM 2016. LNCS, vol. 9700, pp. 156\u2013201. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-34096-8_6"},{"key":"24_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"657","DOI":"10.1007\/978-3-319-47166-2_46","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques","author":"V Ciancia","year":"2016","unstructured":"Ciancia, V., Latella, D., Massink, M., Pa\u0161kauskas, R., Vandin, A.: A tool-chain for statistical spatio-temporal model checking of bike sharing systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9952, pp. 657\u2013673. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47166-2_46"},{"key":"24_CR25","doi-asserted-by":"publisher","unstructured":"Clark, G., et al.: The M\u00f6bius modeling tool. In: Proceedings of the 9th International Workshop on Petri Nets and Performance Models (PNPM 2001), pp. 241\u2013250. IEEE (2001). https:\/\/doi.org\/10.1109\/PNPM.2001.953373","DOI":"10.1109\/PNPM.2001.953373"},{"key":"24_CR26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8","volume-title":"Handbook of Model Checking","year":"2018","unstructured":"Clarke, E.M., Henzinger, T.A., Veith, H., Bloem, R. (eds.): Handbook of Model Checking. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-10575-8"},{"key":"24_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/978-3-319-91271-4_21","volume-title":"Abstract State Machines, Alloy, B, TLA, VDM, and Z","author":"A Cunha","year":"2018","unstructured":"Cunha, A., Macedo, N.: Validating the hybrid ERTMS\/ETCS Level 3 concept with Electrum. In: Butler, M., Raschke, A., Hoang, T.S., Reichl, K. (eds.) ABZ 2018. LNCS, vol. 10817, pp. 307\u2013321. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-91271-4_21"},{"issue":"4","key":"24_CR28","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/s10009-014-0361-y","volume":"17","author":"A David","year":"2015","unstructured":"David, A., Larsen, K.G., Legay, A., Miku\u010dionis, M., Poulsen, D.B.: UPPAAL SMC tutorial. Int. J. Softw. Tools Technol. Transf. 17(4), 397\u2013415 (2015). https:\/\/doi.org\/10.1007\/s10009-014-0361-y","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"24_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/3-540-45739-9_4","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"BP Douglass","year":"2002","unstructured":"Douglass, B.P.: Real-time UML. In: Damm, W., Olderog, E.-R. (eds.) FTRTFT 2002. LNCS, vol. 2469, pp. 53\u201370. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45739-9_4"},{"key":"24_CR30","unstructured":"EEIG ERTMS Users Group: ERTMS\/ETCS RAMS Requirements Specification \u2013 Chapter 2 - RAM, 30 September 1998. http:\/\/www.era.europa.eu\/Document-Register\/Documents\/B1-02s1266-.pdf"},{"key":"24_CR31","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":"24_CR32","unstructured":"European Committee for Electrotechnical Standardization: CENELEC EN 50126\u20131 \u2013 Railway applications - The specification and demonstration of Reliability, Availability, Maintainability and Safety (RAMS) - Part 1: Generic RAMS process, 1 October 2017. https:\/\/standards.globalspec.com\/std\/10262901\/cenelec-en-50126-1"},{"key":"24_CR33","unstructured":"European Committee for Electrotechnical Standardization: CENELEC EN 50126\u20132 \u2013 Railway applications - The specification and demonstration of Reliability, Availability, Maintainability and Safety (RAMS) - Part 2: Systems approach to safety, 1 October 2017. https:\/\/standards.globalspec.com\/std\/10262978\/cenelec-en-50126-2"},{"key":"24_CR34","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":"24_CR35","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"},{"key":"24_CR36","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1002\/9781118459898.ch4","volume-title":"Formal Methods for Industrial Critical Systems: A Survey of Applications, Chap. 4","author":"A Fantechi","year":"2013","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, Chap. 4, pp. 61\u201384. Wiley, Hoboken (2013). https:\/\/doi.org\/10.1002\/9781118459898.ch4"},{"key":"24_CR37","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":"24_CR38","doi-asserted-by":"publisher","unstructured":"Fr\u00e4nzle, M., Hahn, E.M., Hermanns, H., Wolovick, N., Zhang, L.: Measurability and safety verification for stochastic hybrid systems. In: Proceedings of the 14th International Conference on Hybrid Systems: Computation and Control (HSCC 2011), pp. 43\u201352. ACM (2011). https:\/\/doi.org\/10.1145\/1967701.1967710","DOI":"10.1145\/1967701.1967710"},{"key":"24_CR39","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1016\/j.trc.2014.02.002","volume":"42","author":"M Ghazel","year":"2014","unstructured":"Ghazel, M.: Formalizing a subset of ERTMS\/ETCS specifications for verification purposes. Transp. Res. Part C Emerg. Technol. 42, 60\u201375 (2014). https:\/\/doi.org\/10.1016\/j.trc.2014.02.002","journal-title":"Transp. Res. Part C Emerg. Technol."},{"issue":"10","key":"24_CR40","doi-asserted-by":"publisher","first-page":"2667","DOI":"10.1109\/TITS.2017.2657695","volume":"18","author":"M Ghazel","year":"2017","unstructured":"Ghazel, M.: A control scheme for automatic level crossings under the ERTMS\/ETCS Level 2\/3 operation. IEEE Trans. Intell. Transp. Syst. 18(10), 2667\u20132680 (2017). https:\/\/doi.org\/10.1109\/TITS.2017.2657695","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"key":"24_CR41","doi-asserted-by":"publisher","unstructured":"Ghosh, S., Dasgupta, P., Mandal, C., Katiyar, A.: Formal verification of movement authorities in automatic train control systems. In: Proceedings of the 5th International Conference on Railway Engineering (ICRE 2016), pp. 1\u20138. IET (2016). https:\/\/doi.org\/10.1049\/cp.2016.0511","DOI":"10.1049\/cp.2016.0511"},{"issue":"3","key":"24_CR42","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/1467247.1467271","volume":"52","author":"R Grosu","year":"2009","unstructured":"Grosu, R., Smolka, S.A., Corradini, F., Wasilewska, A., Entcheva, E., Bartocci, E.: Learning and detecting emergent behavior in networks of cardiac myocytes. Commun. ACM 52(3), 97\u2013105 (2009). https:\/\/doi.org\/10.1145\/1467247.1467271","journal-title":"Commun. ACM"},{"key":"24_CR43","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-319-56390-9_3","volume-title":"Evaluation of Novel Approaches to Software Engineering","author":"S Hordvik","year":"2016","unstructured":"Hordvik, S., \u00d8seth, K., Svendsen, H.H., Blech, J.O., Herrmann, P.: Model-based engineering and spatiotemporal analysis of transport systems. In: Maciaszek, L.A., Filipe, J. (eds.) ENASE 2016. CCIS, vol. 703, pp. 44\u201365. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-56390-9_3"},{"key":"24_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-662-45231-8_10","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications","author":"KG Larsen","year":"2014","unstructured":"Larsen, K.G., Legay, A.: Statistical model checking past, present, and future. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014. LNCS, vol. 8803, pp. 135\u2013142. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-45231-8_10"},{"key":"24_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-642-16612-9_11","volume-title":"Runtime Verification","author":"A Legay","year":"2010","unstructured":"Legay, A., Delahaye, B., Bensalem, S.: Statistical model checking: an overview. In: Barringer, H., et al. (eds.) RV 2010. LNCS, vol. 6418, pp. 122\u2013135. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-16612-9_11"},{"key":"24_CR46","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/978-3-319-91271-4_24","volume-title":"Abstract State Machines, Alloy, B, TLA, VDM, and Z","author":"A Mammar","year":"2018","unstructured":"Mammar, A., Frappier, M., Tueno Fotso, S.J., Laleau, R.: An Event-B model of the hybrid ERTMS\/ETCS Level 3 standard. In: Butler, M., Raschke, A., Hoang, T.S., Reichl, K. (eds.) ABZ 2018. LNCS, vol. 10817, pp. 353\u2013366. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-91271-4_24"},{"key":"24_CR47","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"},{"key":"24_CR48","doi-asserted-by":"publisher","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) (2018). https:\/\/doi.org\/10.1007\/s10009-018-0488-3","DOI":"10.1007\/s10009-018-0488-3"},{"key":"24_CR49","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-319-29510-7_7","volume-title":"Formal Techniques for Safety-Critical Systems","author":"R Nardone","year":"2016","unstructured":"Nardone, R., et al.: Modeling railway control systems in Promela. In: Artho, C., \u00d6lveczky, P.C. (eds.) FTSCS 2015. CCIS, vol. 596, pp. 121\u2013136. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-29510-7_7"},{"key":"24_CR50","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-319-23820-3_2","volume-title":"Runtime Verification","author":"L Nenzi","year":"2015","unstructured":"Nenzi, L., Bortolussi, L., Ciancia, V., Loreti, M., Massink, M.: Qualitative and quantitative monitoring of spatio-temporal properties. In: Bartocci, E., Majumdar, R. (eds.) RV 2015. LNCS, vol. 9333, pp. 21\u201337. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-23820-3_2"},{"key":"24_CR51","doi-asserted-by":"publisher","unstructured":"Rispoli, F., Castorina, M., Neri, A., Filip, A., Di Mambro, G., Senesi, F.: Recent progress in application of GNSS and advanced communications for railway signaling. In: Proceedings of the 23rd International Conference Radioelektronika (RADIOELEKTRONIKA 2013), pp. 13\u201322. IEEE (2013). https:\/\/doi.org\/10.1109\/RadioElek.2013.6530882","DOI":"10.1109\/RadioElek.2013.6530882"},{"key":"24_CR52","doi-asserted-by":"publisher","unstructured":"Selic, B.: The real-time UML standard: definition and application. In: Proceedings of the Design, Automation and Test in Europe Conference and Exhibition (DATE 2002), pp. 770\u2013772 (2002). https:\/\/doi.org\/10.1109\/DATE.2002.998385","DOI":"10.1109\/DATE.2002.998385"},{"key":"24_CR53","unstructured":"Shift2Rail Joint Undertaking: Multi-Annual Action Plan, 26 November 2015. http:\/\/ec.europa.eu\/research\/participants\/data\/ref\/h2020\/other\/wp\/jtis\/h2020-maap-shift2rail_en.pdf"},{"key":"24_CR54","unstructured":"UNISIG: FIS for the RBC\/RBC handover, version 3.1.0, 15 June 2016. http:\/\/www.era.europa.eu\/Document-Register\/Pages\/set-2-FIS-for-the-RBC-RBC-handover.aspx"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-03421-4_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,29]],"date-time":"2020-12-29T08:09:32Z","timestamp":1609229372000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-03421-4_24"}},"subtitle":["Experience and Outlook"],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030034207","9783030034214"],"references-count":54,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-03421-4_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"30 October 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Limassol","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cyprus","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 November 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 November 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.isola-conference.org\/isola2018\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Equinocs","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"149","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"126","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"85% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"invitation-based event","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}