Modeling and power optimization of cyber-physical systems with energy-workload tradeoff | IEEE Conference Publication | IEEE Xplore