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 : Journal article YEAR : 2014 CODE : 284137 *** DO NOT EDIT THIS FILE ***