TITLE : Guest Editorial for the Special Issue on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (Forecast) AUTHOR(S) : Ter Beek Mh, Loreti M TYPE : Journal article YEAR : 2018 CODE : 384382 *** DO NOT EDIT THIS FILE ***