Reception state estimation of GNSS satellites in urban environment using particle filtering | IEEE Conference Publication | IEEE Xplore