Verification and Evaluation of Computer and Communication Systems - Atig (Springer International Publishing, 2018)