From: R-wave synchronised atrial pacing in pediatric patients with postoperative junctional ectopic tachycardia: the atrioventricular interval investigated by computational analysis and clinical evaluation