Perkusich, Angelo, and Jorge C. A. de Figueiredo.
" A G-Net Based Environment for Logical and Timing Analysis of Software Systems." <em>Anais do IX Simpósio Brasileiro de Engenharia de Software,
Recife/PE, 1995</em>. SBC, 1995,  
pp.241-256.