A sufficient condition for instability of buffer priority policies in re-entrant lines | IEEE Journals & Magazine | IEEE Xplore