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