PERKUSICH, Angelo; FIGUEIREDO, Jorge C. A. de. A G-Net Based Environment for Logical and Timing Analysis of Software Systems. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 9. , 1995, Recife/PE. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 1995 . p. 241-256. DOI: https://doi.org/10.5753/sbes.1995.24087.