Event Trees Fault Trees HAZOPs Shard Domino Model Chain of Events Model STAMP Human-in-the-loop Human-less-in-the-loop Human-on-the-loop Human-in=command Digital Twins Symbolic / Subsymbolic AI systems