Insulin infusion pumps are safety-critical systems that require the evaluation of government regulatory agencies (e.g., FDA) before commercialization. This paper presents a Coloured Petri Nets (CPN) ...