generated at
2/18/2025, 12:21:00 PM
『Specifying Systems』
TLA+
]