Formal Methods for the Quantitative Evaluation of Collective Adaptive SystemsMarco Bernardo, Rocco De Nicola, Jane Hillston₹4,563