Scalable techniques for formal verification - Ray, Sandip (Springer, 2010)