Combining Stochastic Process Algebras and Queueing Networks for Software Architecture Analysis