Patient-specific modelling of cardiac electrophysiology in heart-failure patients | Synapse