Tavares, E., Silva, B., Maciel, P., & Dallegrave, P. (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, (pp. 115-122). Porto Alegre: SBC.