introduce time & clock synchronisation APIs