Mohamed H. Zaki Sofiène Tahar Guy Bois Qualitative Abstraction based Verification for Analog Circuits. 147-158 2007 ISoLA conf/isola/2007 db/conf/isola/isola2007.html#ZakiTB07