The JEM-EUSO time synchronization system