Automated Technology for Verification and Analysis - Finkbeiner; Pu, Geguang; Zhang, Lijun (Springer International Publishing, 2015)