Sahner, Robin; Trivedi, Kishor S.; Puliafito, Antonio Performance and Reliability Analysis of Computer Systems - Springer