@inproceedings\{bib,
	author="Shangping  Ren and Gul  Agha",
	title="Source Code Level Infeasibility Detection on Declarative Timing Constraints Specified with RTsynchronizers",
	booktitle="ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Real-Time Systems, pp 1-10",
	year="1997"
}