https://5dok.net/document/lzggk5vz-progress-static-probabilistic-timing-analysis-systems-replacement-policies.html