Optimal estimation and control of clock synchronization following the Precision Time Protocol | IEEE Conference Publication | IEEE Xplore