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