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