Barreto, R., 		Tavares, E., 		Maciel, P., 		Oliveira, M., 		Amorim, L., 		Lima, R., 		Carvalho, C., E 		Mello, C..
" A time Petri net-based approach for software synthesis considering overheads" <em>Anais do International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD)</em> [Online], (24 outubro 2005)