Zhen Guo Jacob Savir Observer-Based Test of Analog Linear Time-Invariant Circuits. 13-17 2002 conf/delta/2002 DELTA http://csdl.computer.org/comp/proceedings/delta/2002/1453/00/14530013abs.htm db/conf/delta/delta2002.html#GuoS02