IEEE 1588 for time synchronization of devices in the electric power industry | IEEE Conference Publication | IEEE Xplore