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, junio de 2022, pp. 78-103, doi:10.12957/cadinf.2021.68554.