Yelisetty, Sarasuaty, and Johnny Marques.
" Verification Scenarios for Databases in Safety-Critical Systems." <em>Anais do XX Workshop Anual do MPS,
Salvador/BA, 2024</em>. SBC, 2024,  
pp.31-35.