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