https://5dok.net/document/dzx43evy-taming-confusion-modeling-implementing-probabilistic-concurrent-systems.html