Scalable Techniques for Formal Verification - Ray, Sandip. (Springer US : Imprint: Springer, 2010)