Automatic Generation of Distributed Run-Time Infrastructure for Internet of Things | IEEE Conference Publication | IEEE Xplore