Dependability of Computer Control Systems in Power Plants. - Cláudia Almeida; Alberto Arazo; Yves Crouzet; Karama Kanoun (SAFECOMP, 2000)

Formal Guides for Experimentally Verifying Complex Software-Implemented Fault Tolerance Mechanisms. - Alberto Arazo; Yves Crouzet (ICECCS, 2001)