https://9dok.net/document/z3dxl828-modelling-control-system-using-parameterized-linear-hybrid-automata.html