@book{148363,
	author = {Gomaa, Hassan.},
	title = {Software design methods for concurrent and real-time systems /},
	publisher = {Addison-Wesley,},
	year = {c1993.},
	address = {Reading, Mass. :},
	note = {Includes index.}
}