Design and Analysis of IoT Applications: A Model-Driven Approach | IEEE Conference Publication | IEEE Xplore