A walkthrough tutorial of TLA+ and its tools: analyzing a blocking queuegithub.com/lemmy213 pointspron6 years ago