Xia, L. and Bell, I.M. and Wilkinson, A.J. (2010) Automated model generation algorithm for high-level fault modeling. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 29 (7). pp. 1140-1145. ISSN 02780070