Synthetic Bounds for Semi-Markov Reliability Models door United States Government