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