A roadmap for formal property verification - Dasgupta, Pallab (Springer, 2006)