M. Arapinis, “Towards the Verification of Pervasive Systems”, ECEASST, vol. 22, Jan. 2010.