Text this: Process Algebra and Probabilistic Methods: Performance Modeling and Verification