M. Calder, P. Gray, and C. Unsworth, “Tightly coupled verification of pervasive systems”, eceasst, vol. 22, Jan. 2010.