Time synchronization in wireless sensor networks: A modelling and analysis experience using Theatre