A. Kuppe, M., Merz, S., Rafael Feodrippe, P., Lamport, L., Schultz, W., Fernandes, A., Ryndzionek, M., Konnov, I., Halterman, J., Wayne, H., & Jobvs. TLA+ CommunityModules (Version 1.0.0) [Computer software]. https://github.com/tlaplus/CommunityModules