A model-driven approach to ensure trust in the IoT (Human-centric Computing and Information Sciences, 2020)