GitHub repository: 2222-42/azure-cosmos-tla
Description: Azure Cosmos TLA+ specifications