Specification and Verification of a Multi-agent Coordination Protocol with TLA+ | IEEE Conference Publication | IEEE Xplore