YELISETTY, Sarasuaty; MARQUES, Johnny; DIAS, Luiz Alberto Vieira. PRE-BDC: Processo de Especificação de Banco de Dados em Sistemas Críticos. Cadernos do IME - Série Informática, Rio de Janeiro, v. 46, p. 8–18, 2022. DOI: 10.12957/cadinf.2021.67098. Disponível em: https://www.e-publicacoes.uerj.br/cadinf/article/view/67098. Acesso em: 6 jul. 2025.