https://123dok.net/document/qo51n50y-formally-verifying-flow-properties-in-industrial-systems.html