Jérôme Falampin, Hung Le Dang, Michael Leuschel, Mikael Mokrani, Daniel Plagge. Improving Railway Data Validation with ProB. In Alexander Romanovsky, Martyn Thomas, editors, Industrial Deployment of System Engineering Methods. pages 27-43, Springer, 2013. [doi]
Abstract is missing.