Performance evaluation of a lunar navigation system exploiting four satellites in ELFO orbits | IEEE Conference Publication | IEEE Xplore