Kalman filtering with real-time applications - Chui, C. K. (Springer series in information sciences, 1991)