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