@book{23442,
	author = {Hatley, Derek J...[et al]},
	title = {Strategies for real-time system specification},
	publisher = {: Dorset House Pub., },
	year = {©1988.},
	address = {New York, NY }
}