Reliability, safety, and security of railway systems modelling, analysis, verification, and certification : third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019 : proceedings - Collart-Dutilleul, Simon; Lecomte, Thierry; Romanovsky, Alexander (Lecture notes in computer science, 2019)