A decomposition procedure for the analysis of a closed fork/join queueing system | IEEE Journals & Magazine | IEEE Xplore