Optimization for Real-Time Systems with Non-convex Power Versus Speed Models