Formal Control Techniques for Power-Performance Management | Synapse