A unified approach for timing verification and delay faut testing - Sivaraman, Mukund; Strojwas, Andrzej J. (Kluwer Academic Publishers, 1998)