Advanced Formal Verification - Drechsler, Rolf (Springer US, 2004)