Perkusich, A., & 		Figueiredo, J.
1995 Oct  3.  A G-Net Based Environment for Logical and Timing Analysis of Software Systems. Proceedings of the Brazilian Symposium on Software Engineering (SBES). [Online] :