Automated Technology for Verification and Analysis - Cassez; Raskin, Jean-Francois (Springer International Publishing, 2014)