NetFPGA based IEEE 1588 module for time-synchronized software-defined networking | IEEE Conference Publication | IEEE Xplore