https://123dok.net/document/z3dmx0dd-efficient-temporal-properties-intrusion-detection-industrial-control-systems.html