@book{173745,
	author = {Hatley, Derek J. and Pirbhai, Imtiaz A.},
	title = {Strategies for real-time system specification/},
	publisher = {Dorset House Pub.,},
	year = {1988},
	address = {New York, NY :}
}