E. Tavares, B. Silva, P. Maciel, and P. Dallegrave. " Software Synthesis for Hard Real-Time Embedded Systems with Energy Constraints", in Anais do XX International Symposium on Computer Architecture and High Performance Computing, Campo Grande/MS, 2008, pp. 115-122.