Yelisetty, S.; Marques, J.; Dias, L. A. V. PRE-BDC: Processo De Especificação De Banco De Dados Em Sistemas Críticos. CadINF 2022, 46, 8-18.