Computer Aided Verification - Armin Biere, Roderick Bloem (Springer International Publishing, 2014)