A Roadmap for Formal Property Verification - DasGupta, Pallab (Springer, 2006)