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