Robust system time algorithms for GNSS