@article {12791,
	title = {Dynamic priorities for modeling real-time},
	journal = {Proc. of the Formal Description Techniques and Protocol Specification, Testing and Verification (FORTE X/PSTV XVII{\textquoteright}97)},
	year = {1997},
	month = {1997///},
	pages = {321 - 336},
	author = {Bhat,G. and Cleaveland, Rance and L\{\"u}ttgen,G.}
}
