Cross-domain IoT application development for smart home