@article {11916,
	title = {Operating Systems},
	journal = {Real-Time Systems},
	year = {2001},
	month = {2001///},
	author = {Agrawala, Ashok K.}
}
