10.7 Reliable System Design