GNSS timing bias correction and Omega-Axiom verification - View it on GitHub