https://123dok.org/document/lzgjej2z-runtime-enforcement-for-control-system-security.html