Towards Model-Based Continuous Deployment of Secure IoT Systems | IEEE Conference Publication | IEEE Xplore