Applied formal verification. - Perry, Douglas L.; Foster, Harry D. (McGraw-Hill, 2005)