A Reactive and Model-Based Approach for Developing Internet-of-Things Systems | IEEE Conference Publication | IEEE Xplore