On the use of a high-level fault model to analyze logical consequence of properties. - Stefano Brait; Franco Fummi; Graziano Pravadelli (MEMOCODE, 2005)