The Gator Tech Smart House: a programmable pervasive space | IEEE Journals & Magazine | IEEE Xplore