@Article{	  ar:MantelGaertner2000a,
  author	= {Heiko Mantel and Felix G\"artner},
  title		= {{A Case Study in the Mechanical Verification of Fault
		  Tolerance}},
  journal	= {Journal of Experimental and Theoretical Artificial
		  Intelligence (JETAI)},
  year		= 2000,
  volume	= 12,
  number	= 4,
  pages		= {473--488},
  month		= {October},
  publisher	= {Taylor \& Francis}
}