An Automata-Based Cardiac Electrophysiology Simulator to Assess Arrhythmia Inducibility | Publicación