Modeling and Simulation of Cardiac Tissue using Hybrid I/O Automata