Yelisetty, S. et al. 2022. PRE-BDC: Processo de Especificação de Banco de Dados em Sistemas Críticos. Cadernos do IME - Série Informática. 46, (Jun. 2022), 8–18. DOI:https://doi.org/10.12957/cadinf.2021.67098.