My experience with using TLA+ in distributed systems classmuratbuffalo.blogspot.com87 pointspron11 years ago