@article {16366,
	title = {A partial evaluator for the Maruti hard real-time system},
	journal = {Real-Time Systems},
	volume = {5},
	year = {1993},
	month = {1993///},
	pages = {13 - 30},
	author = {Nirkhe,V. and Pugh, William}
}
