Lamport, L., A. Kuppe, M., Merz, S., Helwer, A., Schultz, W., Hemphill, J., Ryndzionek, M., Konnov, I., Tran, T. H., Widder, J., Gray, J., Demirbas, M., Hu, G., Losa, G., Pressler, R., Akhouayri, Y., Dong, L., Niu, Z., Terry, L. N. X., Gandhi, G., DeFrain, I., Harrison, M., Raju, S., Mathew, C. G., Andriani, F., & Yvoz, L. TLA+ Examples (Version 1.0.0) [Computer software]. https://github.com/tlaplus/Examples