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