Verification and Evaluation of Computer and Communication Systems - Ganty (Springer International Publishing, 2019)