A precise time synchronization method for real-time schedulers