Computer Aided Verification - Majumdar; Kunčak, Viktor (Springer International Publishing, 2017)