Arapinis, M. (2010) “Towards the Verification of Pervasive Systems”, Electronic Communications of the EASST, 22. doi: 10.14279/tuj.eceasst.22.315.