Verification of MPLS traffic engineering techniques | IEEE Conference Publication | IEEE Xplore