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; Haxthausen, Anne E.; Lecomte, Thierry (Lecture notes in computer science, 2022)