Validation and verification of IEEE 1588 Annex K | IEEE Conference Publication | IEEE Xplore