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