Advanced formal verification - Drechsler, Rolf (Dordrecht : Kluwer Academic Publishers, 2004)
16