Eduardo Tavares, Bruno Silva, Paulo Maciel, and Pedro Dallegrave. 2008. Software Synthesis for Hard Real-Time Embedded Systems with Energy Constraints. In Anais do XX International Symposium on Computer Architecture and High Performance Computing, outubro 29, 2008, Campo Grande/MS, Brasil. SBC, Porto Alegre, Brasil, 115-122.