@article {12790,
	title = {A practical approach to implementing real-time semantics},
	journal = {Annals of Software Engineering},
	volume = {7},
	year = {1999},
	month = {1999///},
	pages = {127 - 155},
	author = {Bhat,G. and Cleaveland, Rance and L\{\"u}ttgen,G.}
}
