Modeling technique and a simulation tool for analysis of clock synchronization in communication networks | IEEE Conference Publication | IEEE Xplore