Simonetta Balsamo Marco Bernardo Marta Simeoni Combining stochastic process algebras and queueing networks for software architecture analysis. 190-202 2002 Workshop on Software and Performance http://doi.acm.org/10.1145/584369.584398 db/conf/wosp/wosp2002.html#BalsamoBS02