Applying Real-Time Interface and Calculus for Dynamic Power Management in Hard Real-Time Systems