Alves Júnior, M. de M. (2022) “Identificando e Analisando Casos de Garantia de Segurança aplicados a Sistemas Robóticos”, Cadernos do IME - Série Informática. Rio de Janeiro, 46, pp. 78–103. doi: 10.12957/cadinf.2021.68554.