Designing a Control System for High Availability