CASSTING will develop a novel approach for analysing and designing collective adaptive systems in their totality, by setting up a game theoretic framework. Here components are viewed as players, their behaviour is captured by strategies, system runs are plays, and specifications are winning conditions.The design of collective adaptive systems, as they occur, for example, in home automation, health...