Barreto, R., 		Tavares, E., 		Maciel, P., 		Oliveira, M., 		Amorim, L., 		Lima, R., 		Carvalho, C., & 		Mello, C.
(2005).
 A time Petri net-based approach for software synthesis considering overheads.
In <em>Proceedings of the 17th International Symposium on Computer Architecture and High Performance Computing</em>, (pp. 184-191). Porto Alegre: SBC.