Ehsan Poorhadi, Elena Troubitysna, György Dán. Formal Modelling of the Impact of Cyber Attacks on Railway Safety. In Ibrahim Habli, Mark Sujan, Simos Gerasimou, Erwin Schoitsch, Friedemann Bitsch, editors, Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops - DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings. Volume 12853 of Lecture Notes in Computer Science, pages 117-127, Springer, 2021. [doi]
Abstract is missing.