Understanding Inconsistency in Azure Cosmos DB with TLA+. - A. Finn Hackett; Joshua Rowe; Markus Alexander Kuppe (ICSE-SEIP, 2023)