High-reliability, distributed software configuration management
