A Coloured Petri Nets Reference Model of Insulin Infusion Pump Control Systems: Assisting the Certification Process. - Tássio Fernandes Costa; Alvaro Sobrinho; Lenardo Chaves e Silva; Leandro Dias da Silva; Angelo Perkusich (IECON, 2019)

Coloured Petri nets for abstract test generation in software engineering. - Alvaro Sobrinho; Ially Almeida; Leandro Dias da Silva; Lenardo Chaves e Silva; Adriano Araújo; Tássio Fernandes Costa; Angelo Perkusich (Softw. Test. Verification Reliab., 2023)