https://5dok.org/document/q05pvjkv-automated-security-analysis-of-a-scada-system.html