Title: Modeling Cardiac Pacemakers with Timed Coloured Petri Nets and Related Tools