Analytical Queueing Model of Functioning of the On-board Navigation Complex Database | IEEE Conference Publication | IEEE Xplore