Yelisetty, Sarasuaty, and Johnny Marques.
" Verification Scenarios for Databases in Safety-Critical Systems." <em>Proceedings of the 20th MPS Annual Workshop,
Salvador/BA, 2024</em>. SBC, 2024,  
pp.31-35.