Barreto, R., E. Tavares, P. Maciel, M. Oliveira, L. Amorim, R. Lima, C. Carvalho, and C. Mello.
" A time Petri net-based approach for software synthesis considering overheads." <em>Anais do XVII International Symposium on Computer Architecture and High Performance Computing,
Rio de Janeiro/RJ, 2005</em>. SBC, 2005,  
pp.184-191.