1. A methodology for assuring the safety and security of critical infrastructure based on STPA and Event-B. (19th March 2019) Authors: Howard, Giles; Butler, Michael; Colley, John; Sassone, Vladimiro Journal: International journal of critical computer-based systems Issue: Volume 9:Number 1/2(2019) Page Start: 56 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗