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