Strategies for building dependable software systems.