Automated Technology for Verification and Analysis - Artho; Legay, Axel; Peled, Doron (Springer International Publishing, 2016)