KUO, et al.. Stability Analysis of Digital Kalman Filters with Floating-point Computation. American Institute of Aeronautics and Astronautics (AIAA), 1991, doi:10.2514/3.20685.