Seotsanyana, M. Temporal Logic Motion Planning. DSJ 2010, 60, 23-38.