Implementing Multi-Decree Parliament In TLA+

The Beginner's Guide to TLA+: Specifying and Verifying Distributed Systems