Sistemas Autónomos Confiables (TAS): el enfoque de la verificabilidad. Actas del Congreso Internacional de Ingeniería de Sistemas, [S. l.], p. 27–29, 2022. DOI: 10.26439/ciis2022.6063. Disponível em: https://revistas.ulima.edu.pe/index.php/CIIS/article/view/6063. Acesso em: 10 oct. 2025.