@book{181303,
	author = {Saeed, Ali    (MSCS-11)},
	title = {Laxity-aware dynamic check pointing strategy for rtos under multiple transient faults},
	publisher = {MCS,NUST},
	year = {2007},
	address = {Rawalpindi}
}