área de pesquisa André Costi Nácul Software for Embedded Systems: Serializing Compilers and Their Applications
