Estimation, control and the discrete Kalman filter - Catlin D E (New York Springer-Verlag, 1989)