Mathematical And Computational Study Of Markovian Models Of Ion Channels In Cardiac Excitation