Reliability, safety, and security of railway systems modelling, analysis, verification, and certification : 4th international conference, RSSRail 2022, Paris, France, June 1-2, 2022 : proceedings - Collart-Dutilleul, Simon (Lecture notes in computer science, 2022)