SynERGY: Cross-correlation of operational and contextual data to timely detect and mitigate attacks to cyber-physical systems. (October 2020)