[rwth-security] Designing Actively Secure, Highly Available Industrial Automation Applications