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