A Bayesian method of GNSS cycle slips detection based on ARMA model | IEEE Conference Publication | IEEE Xplore