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