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 ...