Temporal Logic-based reasoning about iBGP multipath dissemination | IEEE Conference Publication | IEEE Xplore