https://123dok.net/document/yev1k2p4-on-line-checking-of-faults-cyber-physical-systems.html