Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings - Fantechi, Alessandro.; Lecomte, Thierry.; Romanovsky, Alexander. (Programming and Software Engineering ;, 2017)