Scalable Techniques for Formal Verification - Ray, Sandip (Springer Science+Business Media, LLC, 2010)