Automation of the SHIELD methodology for system hazard analysis and resilient design | IEEE Conference Publication | IEEE Xplore