A solution separation RAIM scheme based on adaptive clock-bias model | IEEE Conference Publication | IEEE Xplore