Modeling technique and a simulation tool for analysis of clock synchronization in communication networks