Keynote speaker 1: Cyber-resilient ICS through diversified redundancy and intrusion detection | IEEE Conference Publication | IEEE Xplore