Verification and Evaluation of Computer and Communication Systems - Ayoub Nouri, Weimin Wu, Kamel Barkaoui, ZhiWu Li (Springer, 2022)