Perkusich, Angelo, AND 		Figueiredo, Jorge.
" A G-Net Based Environment for Logical and Timing Analysis of Software Systems" <em>Proceedings of the Brazilian Symposium on Software Engineering (SBES)</em> [Online], (3 October 1995)