Thomas R. Dean Yuling Chen Design Recovery of a Two Level System. 23-32 2003 conf/iwpc/2003 IWPC http://computer.org/proceedings/iwpc/1883/18830023abs.htm db/conf/iwpc/iwpc2003.html#DeanC03