@inproceedings\{HSCC08,
	author="YoungMin  Kwon and Gul  Agha",
	title="LTLC: Linear Temporal Logic for Control",
	booktitle="11th International Conference on Hybrid Systems: Computation and Control (HSCC) (to appear)",
	year="2008"
}