Alves Júnior, Mozart de Melo, et al. “Identificando E Analisando Casos De Garantia De Segurança Aplicados a Sistemas Robóticos”. Cadernos Do IME - Série Informática, vol. 46, junho de 2022, p. 78-103, doi:10.12957/cadinf.2021.68554.