“Sistemas Autónomos Confiables (TAS): el enfoque de la verificabilidad” (2022) Actas del Congreso Internacional de Ingeniería de Sistemas, pp. 27–29. doi:10.26439/ciis2022.6063.