And here is the Github of their models: https://github.com/Azure/azure-cosmos-tla