Verification and Evaluation of Computer and Communication Systems - Belgacem Ben Hedia, Yu-Fang Chen, Gaiyun Liu, Zhenhua Yu (Springer, 2020)