https://123dok.net/document/z3dl0jd9-algebraic-synthesis-of-transition-conditions-of-state-model.html