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