Xia, Likun, Wilkinson, Antony, Bell, Ian, "Review of high level fault modeling approaches for mixed-signal systems", Journal of Electronics, 2010