Kalman filtering theory and application - Sorenson, Harold W. (IEEE Press selected reprint series, 1987)