There is a treasure trove of articles and white papers about designing with Kalman filters and PLLs on Embedded.com, as well as on their use in some surprising venues. I have linked to some of these ...

Originally developed for use in spacecraft navigation, the Kalman filter turns out to be useful for many applications. It is mainly used to estimate system states ...