Modelling a cardiac pacemaker visually and formally. - Jérôme Leemans; Nuno Amálio (VL/HCC, 2012)