Multiple traces formulation and semi-implicit scheme for modelling biological cells under electrical stimulation