Formal methods for analyzing the completeness of an assertion suite against a high-level fault model | IEEE Conference Publication | IEEE Xplore