Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 6th International Conference, RSSRail 2025, Pisa, Italy, November 26–28, 2025, Proceedings by Maurice H. ter Beek | Menrva Books | MenrvaBooks