Using dynamic optimization for control of real rate CPU resource management applications. - Varin Vahia; Ashvin Goel; Jonathan Walpole; Molly H. Shor (CDC, 2003)