BARRETO, R.; 						TAVARES, E.; 						MACIEL, P.; 						OLIVEIRA, M.; 						AMORIM, L.; 						LIMA, R.; 						CARVALHO, C.; 						MELLO, C..
 A time Petri net-based approach for software synthesis considering overheads. <em>In</em>: INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING (SBAC-PAD), 17.	, 2005, Rio de Janeiro/RJ.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2005
.
 p. 184-191.