A Formal Simulation Model for Discrete Rate Simulation