Dominant atrial fibrillatory frequency estimation using an extended Kalman smoother | IEEE Conference Publication | IEEE Xplore