Detection of transaction consistency problems in microservices - Silva, André Filipe dos Santos (2024)