Verification and Evaluation of Computer and Communication Systems - Ganty; Kaâniche, Mohamed (Springer International Publishing, 2019)