[2101.01856] Designing Actively Secure, Highly Available Industrial Automation Applications (arxiv.org)