Formal Methods For Performance Evaluation by Marco Bernardo