Verification and Evaluation of Computer and Communication Systems - Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar (Springer, 2017)