Models and Verification for Composition and Reconfiguration of Web of Things Applications. (Modèles et vérification pour la composition et la reconfiguration d'applications basées sur le web des objets). - Ajay Krishna Muroor Nadumane (2020)