Digital logic testing and simulation - Miczo, Alexander. (Wiley-Interscience, 2003)