Alberto Arazo Yves Crouzet Formal Guides for Experimentally Verifying Complex Software-Implemented Fault Tolerance Mechanisms. 69-79 2001 conf/iceccs/2001 ICECCS http://csdl.computer.org/comp/proceedings/iceccs/2001/1159/00/11590069abs.htm db/conf/iceccs/iceccs2001.html#ArazoC01