TITLE : A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities AUTHOR(S) : Ter Beek M. H., Bortolussi L., Ciancia V., Gnesi S., Hillston J., Latella D., Massink M. TYPE : Other YEAR : 2014 CODE : 320568 *** DO NOT EDIT THIS FILE ***