Formal Methods for Railway Disasters Prevention. - Lilia Belabed; Tullio Joseph Tanzi; Sophie Coudert (ITDRR, 2017)