https://123dok.net/document/qvl1mvpl-on-the-fly-analysis-of-distributed-computations.html