Calder, M., Gray, P. and Unsworth, C. (2010) “Tightly coupled verification of pervasive systems”, Electronic Communications of the EASST, 22. doi: 10.14279/tuj.eceasst.22.320.