https://5dok.net/document/wyex97eq-layered-collecting-ndfs-subsumption-parametric-timed-automata.html