Verification of cardiac tissue electrophysiology simulators using an N -version benchmark | Publicación