Developing Formal Models for Measuring Fault Effects Using Functional EDA Tools | IEEE Conference Publication | IEEE Xplore