The reliability, availability and productiveness of systems - Sherwin, D. J. (Chapman & Hall, 1993)