Automated Technology for Verification and Analysis - Bouajjani, Ahmed (Springer Berlin Heidelberg, 2010)