On the use of a high-level fault model to analyze logical consequence of properties | IEEE Conference Publication | IEEE Xplore