R. Barreto <em>et al. </em>2005.
 A time Petri net-based approach for software synthesis considering overheads. In <em>Anais do XVII International Symposium on Computer Architecture and High Performance Computing</em>, outubro 24, 2005, Rio de Janeiro/RJ, Brasil. SBC, Porto Alegre, Brasil, 184-191.