Discrete-time complementary models and smoothing algorithms: The correlated noise case | IEEE Conference Publication | IEEE Xplore