Xia, Likun, "Automatic generation of high level fault simulation models for analogue circuits", , 2008