Estimation, control, and the discrete Kalman filter - Catlin, Donald E. (Springer, 1989)