“…For example, integrated circuits have well-defined properties that have led to a number of specialized fault simulation algorithms, which have since been implemented in software (May & Stechele, 2012;Niermann, Cheng, & Patel, 1992). Infrastructure often has specific hazards to assess, which has resulted in tools to consider natural disasters for cities (Fraser et al, 2016;McKenna, 2011) and cyber-physical threats in smart grids (Wadhawan & Neuman, 2017). Finally, assessing the hazards of autonomous vehicles in a real system is both costly and hazardous (Gambi, Müller, & Fraser, 2019), which has led to the development of a number of simulators that enable one to try different policies to approaching haz- ards which the vehicle will encounter (Jha, Banerjee, Cyriac, Kalbarczyk, & Iyer, 2018;Jha et al, 2019).…”