Xia, Likun, Wilkinson, Antony J., Bell, Ian M., "Automated model generation algorithm for high-level fault modeling", IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2010