Kalman filtering : theory and practice - Grewal, Mohinder S (Prentice Hall, 1993)