[ICC '21] MACRO: Megastructure Assembly via Collaborative Robots in Orbits
TLA+ specification of Flexible Paxos