Computer Aided Verification - Damm, Werner; Hermanns, Holger (Springer Berlin Heidelberg, 2007)