Howard, Giles, Butler, Michael, Colley, John and Sassone, Vladimiro (2017) Formal analysis of safety and security requirements of critical systems supported by an extended STPA methodology. 2nd Workshop on Safety & Security aSSurance, Paris, France. 29 Apr 2017. 6 pp . (In Press) (doi:10.1109/EuroSPW.2017.68).
Howard, Giles, Butler, Michael, Colley, John and Sassone, Vladimiro (2019) A methodology for assuring the safety and security of critical infrastructure based on STPA and Event-B. International Journal of Critical Computer-Based Systems, 56-75. (doi:10.1504/IJCCBS.2019.098815).