A Temporal Logic Specification Interface for Automata-Theoretic Finitary Control Synthesis. - Kiam Tian Seow; Ming Gai; Tong Lee Lim (ICRA, 2005)