Arapinis, M.; Calder, M.; Dennis, L.; Fisher, M.; Gray, P.; Konur, S.; Miller, A.; Ritter, E.; Ryan, M.; Schewe, S. Towards the Verification of Pervasive Systems. eceasst 2010, 22.