@TechReport{	  mantel.ea:a-case-study-in-the-mechanical-verification-of-fault-tolerance:1999,
  address	= {Germany},
  author	= {Heiko Mantel and Felix G\"artner},
  institution	= {TU Darmstadt},
  number	= {TUD-BS-1999-08},
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/1999/1999-TUD-BS-1999-08.pdf},
  ps		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/1999/1999-TUD-BS-1999-08.PS.zip},
  title		= {{A Case Study in the Mechanical Verification of Fault
		  Tolerance}},
  year		= 1999
}