Implementation of provably stable maxnet | IEEE Conference Publication | IEEE Xplore