https://123dok.net/document/qvj3legq-accurate-performance-models-probabilistic-timing-analysis-sdfgs-mpsocs.html