DAMOCLES: an observer-based approach to design tracking. - Venu Vasudevan; Yves Mathys; Jim Tolar (ICCAD, 1992)