Automated Technology for Verification and Analysis - Hung (Springer International Publishing, 2013)