Advanced formal verification - Drechsler, Rolf. (Kluwer Academic Publishers, 2004)