• Using TLA⁺ at Work: Designing a Snapshot Coordination System https://ahelwer.ca/post/2023-04-05-checkpoint-coordination/ 13 comments 5/4/2023 distributed , formalmethods