Using a Logical and Categorical Approach for the Validation of Fault-Tolerant Systems. - Seguin, Christel; Wiels, Virginie (1996)