ECG Denoising Using Parameters of ECG Dynamical Model as the States of an Extended Kalman Filter | Synapse