Rate Derivation and Its Applications to Reactive, Real-Time Embedded Systems