Roberto Cavada Alessandro Cimatti Alberto Griggio Angelo Susi A Formal IDE for Railways: Research Challenges. 107-115 2022 SEFM Workshops https://doi.org/10.1007/978-3-031-26236-4_9 conf/sefm/2022w db/conf/sefm/sefm2022w.html#CavadaCGS22