Computer Aided Verification - Bouajjani, Ahmed (Springer Berlin Heidelberg, 2009)