From MTBF to HALT Testing: A Dependable Estimate of Product Reliability