Abramovici, Miron Digital Systems Testing and Testable Design - Jaico Publishing House 2008 - xxviii,652 ISBN: 9780780310629