TY - JOUR T1 - A partial evaluator for the Maruti hard real-time system JF - Real-Time Systems Y1 - 1993 A1 - Nirkhe,V. A1 - Pugh, William VL - 5 CP - 1 ER -