Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - Marco Bernardo, Rocco De Nicola, Jane Hillston (Springer International Publishing, 2016)