Services composition model for home-automation peer-to-peer pervasive computing | IEEE Conference Publication | IEEE Xplore