Gator Tech Smart House: A Programmable Pervasive Space - Helal, A; Mann, W; Elzabadani, H; King, J; Kaddoura, Y; Jansen, E (IEEE Computer Magazine, 2005)