Safe and sound lock generation with data-centric concurrency control - Salgado, Pedro Miguel Silva Ribeiro (2023)