Adopting Formal Methods in an Industrial Setting: The Railways Case. - Maurice H. ter Beek; Arne Borälv; Alessandro Fantechi; Alessio Ferrari 001; Stefania Gnesi; Christer Löfving; Franco Mazzanti (FM, 2019)