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 (Lecture notes in computer science, 2016)