Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude