FIR smoothing of discrete-time state-space models with applications to clocks | IEEE Conference Publication | IEEE Xplore