Reliability ; probabilistic models and statistical methods - NJ Prentic-Hall 1995