Stav dette: Algorithms for the intraoperative modeling of the dynamics of atrial excitation