“Sistemas Autónomos Confiables (TAS): El Enfoque De La Verificabilidad”. 2022. Actas Del Congreso Internacional De Ingeniería De Sistemas, December, 27-29. https://doi.org/10.26439/ciis2022.6063.