Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings - Lecomte, Thierry; Pinger, Ralf; Romanovsky, Alexander (Springer International Publishing : Imprint: Springer, 2016)