A Model-Driven Methodology for the Design of Autonomic and Cognitive IoT-Based Systems: Application to Healthcare | IEEE Journals & Magazine | IEEE Xplore