@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}
}

