Model Checking Software - Fischer; Geldenhuys, Jaco (Springer International Publishing, 2015)