Eric Totel;Ljerka Beus-Dukic;Jean-Paul Blanquart;Yves Deswarte;Vincent Nicomette;David Powell;Andy Wellings
-;-;-;-;-;-;-
Achieving fault tolerance by a formally validated interaction policy
Rigorous Development of Complex Fault-Tolerant Systems