Formal Analysis of Safety and Security Requirements of Critical Systems Supported by an Extended STPA Methodology. - Giles Howard; Michael J. Butler; John Colley; Vladimiro Sassone (EuroS&P Workshops, 2017)

A methodology for assuring the safety and security of critical infrastructure based on STPA and Event-B. - Giles Howard; Michael J. Butler; John Colley; Vladimiro Sassone (Int. J. Crit. Comput. Based Syst., 2019)