R. Barreto <em>et al.</em>" 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>, Rio de Janeiro/RJ, 2005, pp. 184-191.