Using Relative Refinement for Fault Tolerance.

Antonio Cau, Willem P. de Roever

Browse the full FM paper archive.