https://123dok.net/document/y9663xjy-modeling-and-qualitative-simulation-of-hybrid-systems.html