Mousavi, M. R. Sistemas Autónomos Confiables (TAS): El Enfoque De La Verificabilidad. CIIS 2022, 27-29.