Fault Proof: Using Formal Techniques for Safety Verification and Fault Analysis Author(s): Adrian Traskov, Thorsten Ehrenberg, Sacha Loitz, Abdelouahab Ayari, Avidan Efody, and Joseph Hupcey III Download