@book{1697,
	author = {Gomaa, Hassan},
	title = {Software Design Methods for Concurretn and Real time Systems},
	publisher = {Pearson},
	year = {2009},
	address = {New Delhi}
}