A Model-Driven Methodology to Accelerate Software Engineering in the Internet of Things | IEEE Journals & Magazine | IEEE Xplore