@book {hately_strategies_1988,
	title = {Strategies for {Real}-{Time} {System} {Specification}},
	year = {1988},
	note = {n/a},
	publisher = {Dorset House},
	organization = {Dorset House},
	address = {New York},
	abstract = {n/a},
	author = {Hately, D. J. and Pirbhai, I.}
}
