Formalising the Impact of Security Attacks on IoT Safety. - Ehsan Poorhadi; Elena Troubitysna; György Dán (SAFECOMP Workshops, 2020)

Formal Modelling of the Impact of Cyber Attacks on Railway Safety. - Ehsan Poorhadi; Elena Troubitysna; György Dán (SAFECOMP Workshops, 2021)

Analysing the Impact of Security Attacks on Safety Using SysML and Event-B. - Ehsan Poorhadi; Elena Troubitsyna; György Dán (IMBSA, 2022)

Automating an Analysis of Safety-Security Interactions for Railway Systems. - Ehsan Poorhadi; Elena Troubitsyna (RSSRail, 2023)

Automating an Integrated Model-Driven Approach to Analysing the Impact of Cyberattacks on Safety. - Ehsan Poorhadi; Elena Troubitsyna (SAFECOMP (Workshops), 2024)