https://123dok.net/document/q05xrrpg-small-model-theorem-rectangular-hybrid-automata-networks.html