Provably correct pervasive computing environmentsAnand RanganathanRoy H. Campbell2008PerCom 2008Conference paper