IEEE 1588 for redundant ethernet networks | IEEE Conference Publication | IEEE Xplore