Applied formal verification - Perry, Douglas L. (McGraw-Hill, 2005)