https://5dok.net/document/lzgn998y-pdl-over-accelerated-labeled-transition-systems.html