@book{189618,
	author = {Gomaa, Hassan.},
	title = {Software design methods for concurrent and real time systems.},
	publisher = {Pearson Education},
	year = {2009},
	address = {New Delhi},
	edition = {1}
}