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