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)