Modeling and Comparison of Two Time Synchronization Protocols