M. Seotsanyana, “Temporal Logic Motion Planning”, DSJ, vol. 60, no. 1, pp. 23-38, Mar. 2010.