Tribastone, Mirco  Relating layered queueing networks and process algebra models.   In:  Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering - WOSP/SIPEW '10.   ACM, pp. 183-194.  ISBN 978-1-60558-563-5      (2010)