Improving Railway Data Validation with ProB. - Jérôme Falampin; Hung Le-Dang; Michael Leuschel; Mikael Mokrani; Daniel Plagge (Industrial Deployment of System Engineering Methods, 2013)