A Model-Driven Workflow for Energy-Aware Scheduling Analysis of IoT-Enabled Use Cases | IEEE Journals & Magazine | IEEE Xplore