https://123dok.org/document/qo5p12p0-approximated-symbolic-computations-over-hybrid-automata.html