Modelling automated service orchestration for IT-based homeservices | IEEE Conference Publication | IEEE Xplore