@book{1441,
	title = {Real-Time Systems: scheduling, Analysis and Verification},
	publisher = {Wiley India},
	year = {c2002}
}