A slope-based fast satellite selection algorithm for multi-constellation RAIM | IEEE Conference Publication | IEEE Xplore