Hybrid time synchronization algorithm for avionics clouds