Modeling and analysis of sequential processes that cooperate through buffers | IEEE Journals & Magazine | IEEE Xplore