Automated Technology for Verification and Analysis - Deepak D'Souza, K. Narayan Kumar (Springer, 2017)