Especificação e Verificação Formal de um modelo de STI-PBL por Redes de Petri Coloridas. - Eliane Santiago Ramos; José M. Parente de Oliveira (Revista Brasileira de Informática na Educ., 2009)