Formal Methods And Stochastic Models For Performance Evaluation by