Formal methods for the quantitative evaluation of collective adaptive systems (FORECAST)