On the parametrization and design of an extended Kalman filter frequency tracker | IEEE Journals & Magazine | IEEE Xplore