Advanced launch system multi-path redundant avionics architecture analysis and characterization Robert L Baker