A Formal Approach to Power Optimization in CPSs With Delay-Workload Dependence Awareness | IEEE Journals & Magazine | IEEE Xplore