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