Maintenance prioritization for multiple concurrent failures in a satellite-based navigation system | IEEE Conference Publication | IEEE Xplore