@book{26895,
	author = {Gomaa, Hassan},
	title = {Software design methods for concurrent and real-time systems},
	publisher = {Dorling Kindersley India},
	year = {2009},
	series = {Sei series in software engineering},
	address = {New Delhi},
	note = {Includes appendix, glossary, annotated bibliography and index.}
}