Formal Methods and Stochastic Models for Performance Evaluation | lit.salon