Procedural celestial rendering for 3D navigation | IEEE Conference Publication | IEEE Xplore