Alves Júnior, M. de M., Lencastre, M., Castro, J., Brito, L. F. de, & Ribeiro, M. (2022). Identificando e Analisando Casos de Garantia de Segurança aplicados a Sistemas Robóticos. Cadernos Do IME - Série Informática, 46, 78–103. https://doi.org/10.12957/cadinf.2021.68554