Extended Markovian Process Algebra: A Case Study