Yelisetty, S., Marques, J., & Dias, L. A. V. (2022). PRE-BDC: Processo de Especificação de Banco de Dados em Sistemas Críticos. Cadernos Do IME - Série Informática, 46, 8–18. https://doi.org/10.12957/cadinf.2021.67098