Return to Article Details An electrical extension of automata-based heart models for closed-loop validation of pacemakers Download Download PDF