An automata-based cardiac electrophysiology simulator to assess arrhythmia inducibility by Serra, D, Romero, P, Garcia-Fernandez, I, Lozano, M, Liberos, A, Rodrigo, M, Berruezo, A, Sebastian, R