An experimental system for verifying topology changes in mobile communication networks | IEEE Conference Publication | IEEE Xplore