Keynote speaker 1: Cyber-resilient ICS through diversified redundancy and intrusion detection