Verification and Evaluation of Computer and Communication Systems - Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (Springer, 2018)