Modeling Time Synchronization Uncertainty Sources in Wireless Sensor Networks