Anne V. Ratzer
Lisa Wells
Henry Michael Lassen
Mads Laursen
Jacob Frank Qvortrup
Martin Stig Stissing
Especificação e Verificação Formal de um modelo de STI-PBL por Redes de Petri Coloridas