Computer Aided Verification - Rupak Majumdar, Viktor Kun?ak (Springer, 2017)