Verification and Evaluation of Computer and Communication Systems - Ben Hedia (Springer International Publishing, 2020)