Trusted GNSS-Based Time Synchronization for Industry 4.0 Applications