https://123dok.net/document/lq52olgq-synthesis-of-non-interferent-systems.html