A Time Refinement Framework Based on iUML-B State Machine

Table 2

Professional terms of pacemaker.

Short term	Meaning	Short term	Meaning
AS	Atrial sensing event	LRI	Lower rate interval
AP	Atrial pacing event	URI	Upper rate interval
AX	Atrial event	VAI	Ventricular-atrial interval
VS	Ventricular sensing event	AVI	Atrial-ventricular interval
VP	Ventricular pacing event	VRP	Ventricular refractory period
VX	Ventricular event	VABP	Postventricular-atrial blanking period
		PVARP	Postventricular-atrial refractory period