Automated Technology for Verification and Analysis - Cassez (Springer International Publishing, 2014)