A Discrete Model of IEEE 1588-2008 Precision Time Protocol with Clock Servo using PI Controller | IEEE Conference Publication | IEEE Xplore