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