Tribastone, Mirco Approximate mean value analysis of process algebra models. In: Proceedings of the 19th International Symposium on Modeling, Analysis & Simulation of Computer and Telecommunication Systems (MASCOTS). IEEE, pp. 369-378. ISBN 978-1-4577-0468-0 (2011)