Automated Composition, Analysis and Deployment of IoT Applications | Publicación