A Coloured Petri Nets Reference Model of Insulin Infusion Pump Control Systems: Assisting the Certification Process.

Tssio Fernandes Costa, Alvaro Sobrinho, Lenardo Chaves e Silva, Leandro Dias da Silva, Angelo Perkusich

Browse the full IECON paper archive.