Chang-Kai Hsu
Rita Kuo
Maiga Chang
Jia-Sheng Heh
Especificação e Verificação Formal de um modelo de STI-PBL por Redes de Petri Coloridas