Decomposition-based analysis of queueing networks by R. Sadre