An electrical extension of automata-based heart models for closed-loop validation of pacemakers
Keywords:
Electrode-tissue interface, strength-duration curve, closed-loop validation, model-based design, pacemaker, heart modeling