DES-SERT: A framework for structured routing protocol implementation | IEEE Conference Publication | IEEE Xplore