Seotsanyana, M. “Temporal Logic Motion Planning”. Defence Science Journal, Vol. 60, no. 1, Mar. 2010, pp. 23-38, doi:10.14429/dsj.60.99.