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. At 2nd Workshop on Safety & Security aSSurance 2nd Workshop on Safety & Security aSSurance, Paris, France. 29 Apr 2017. 6 pp. (In Press) (doi:10.1109/EuroSPW.2017.68).