Verifying cell loss requirements in high-speed communication networks. (1998)