Book Name: Quantitative Evaluation of Systems Author: Boudewijn R. Haverkort, Javier Campos Publisher: Springer-Verlag Berlin and Heidelberg GmbH Co. KG…