Xia, L., Wilkinson, A. J., & Bell, I. M. (2010). Automated model generation algorithm for high-level fault modeling. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 29(7), 1140-1145. https://doi.org/10.1109/TCAD.2010.2045556