Reliability growth of autonomous underwater vehicle Dorado