https://123dok.net/document/y6e9wwx4-exposing-latent-mutual-exclusion-by-work-automata.html