Configurable clock service for time-aware IoT applications