Fault detection combining interacting multiple model and multiple solution separation for aviation satellite navigation system | IEEE Conference Publication | IEEE Xplore