Text this: Process Algebra and Probabilistic Methods. Performance Modelling and Verification