A model-based infrastructure for the specification and runtime execution of self-adaptive IoT architectures | Publicación