Computer modeling of ventricular rhythm during atrial fibrillation and ventricular pacing | IEEE Journals & Magazine | IEEE Xplore