https://123dok.net/document/y6emle85-based-searching-quasi-optimal-runs-weighted-timed-automata.html