https://123dok.net/document/lq51rw7y-progress-extending-buffer-aware-worst-timing-analysis-wormhole.html