EKF based trajectory tracking and integrity monitoring of AIS data | IEEE Conference Publication | IEEE Xplore