Introduction to formal hardware verification - Kropf, Thomas, 1961- (Springer, 1999)
With 137 Figures and 32 Tables