Model-based development of smart home scenarios for IoT simulation | IEEE Conference Publication | IEEE Xplore