Kalman filtering. Theory and practice - Grewal, Mohinder S. (Information and system sciences series, 1993)