M. Butler, Dana Dghaym, T. Fischer, Thai Son Hoang, Klaus Reichl, Colin F. Snook, Peter Tummeltshammer. Formal Modelling Techniques for Efficient Development of Railway Control Products. In Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky, editors, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings. Volume 10598 of Lecture Notes in Computer Science, pages 71-86, Springer, 2017. [doi]
Abstract is missing.