Impact of Limits in Pathways Between Sinoatrial Node and Atrium on Heart Rhythm by Timed Automata Model | IEEE Conference Publication | IEEE Xplore