Chuang Lin, Mingwei Xu, Dan C. Marinescu, Fengyuan Ren, Zhiguang Shan: A sufficient condition for instability of buffer priority policies in re-entrant lines. IEEE Trans. Autom. Control. 48(7): 1235-1238 (2003)