Calder, M.; Gray, P.; Unsworth, C. Tightly Coupled Verification of Pervasive Systems. eceasst 2010, 22.