Composite Clock Algorithms for System Time in Global Navigation Satellite Systems