J. L. Martínez Valencia, M. Holguín Londoño, y G. A. Holguín Londoño, «Metodología de síntesis de autómatas para controlar sistemas de navegación autónoma terrestre», Sci. tech, vol. 23, n.º 4, pp. 490–500, dic. 2018.