Sequential logic testing and verification - Ghosh, Abhijit; Devadas, Srinivas; Newton, A.Richard (Kluwer Academic Publishers, 1992)