An implementation model for developing network protocol infrastructures | IEEE Conference Publication | IEEE Xplore