A case study in the mechanical verification of fault tolerance Mantel, Heiko Gartner, Felix C. 2000 - TUHH Open Research