@article {ARReTeSi97, title = {Modeling and Analysis of Sequential Processes that Cooperate through Buffers}, journal = {IEEE Trans on Robotics and Automation}, volume = {14}, year = {1998}, pages = {267-277}, author = {L. Recalde and E. Teruel and M. Silva} }