A code generation and execution environment for service-oriented smart home solutions | IEEE Conference Publication | IEEE Xplore