S. Yelisetty, J. Marques, e L. A. V. Dias, “PRE-BDC: Processo de Especificação de Banco de Dados em Sistemas Críticos”, CadINF, vol. 46, p. 8–18, jun. 2022.