On the Industrial Uptake of Formal Methods in the Railway Domain - A Survey with Stakeholders. - Davide Basile 001; Maurice H. ter Beek; Alessandro Fantechi; Stefania Gnesi; Franco Mazzanti; Andrea Piattino; Daniele Trentini; Alessio Ferrari 001 (IFM, 2018)

Survey on Formal Methods and Tools in Railways: The ASTRail Approach. - Alessio Ferrari 001; Maurice H. ter Beek; Franco Mazzanti; Davide Basile 001; Alessandro Fantechi; Stefania Gnesi; Andrea Piattino; Daniele Trentini (RSSRail, 2019)

Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers. - Davide Basile 001; Maurice H. ter Beek; Alessandro Fantechi; Alessio Ferrari 001; Stefania Gnesi; Laura Masullo; Franco Mazzanti; Andrea Piattino; Daniele Trentini (ISoLA (3), 2020)