Formal simulation and analysis of the CASH scheduling algorithm in Real-Time Maude (2006)

by P C Ölveczky, M Caccamo
Venue:In FASE’06, volume 3922 of LNCS