Perkusich, A., & 		Figueiredo, J.
1995 out  3.  A G-Net Based Environment for Logical and Timing Analysis of Software Systems. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :