Anthony Marcus, Ionut Cardei, Gabriel Alsenas. Automation of the SHIELD methodology for system hazard analysis and resilient design. In IEEE International Systems Conference, SysCon 2013, Orlando, FL, USA, April 15-18, 2013. pages 894-901, IEEE, 2013. [doi]
Abstract is missing.