Perkusich, Angelo, E 		Figueiredo, Jorge.
" A G-Net Based Environment for Logical and Timing Analysis of Software Systems" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (3 outubro 1995)