Martínez Valencia, J. L., Holguín Londoño, M. y Holguín Londoño, G. A. (2018) «Metodología de síntesis de autómatas para controlar sistemas de navegación autónoma terrestre», Scientia et Technica, 23(4), pp. 490–500. doi: 10.22517/23447214.18121.