Flow theory: Verification of rate-reservation protocols | IEEE Conference Publication | IEEE Xplore