Title: Process Algebra and Probabilistic Methods : Performance Modeling and Verification