A formal approach to power optimization in cpss with delay-workload dependence awareness