Oliveira, Marcio Ferreira da Silva: Model-driven engineering methodology for design space exploration of embedded systems. 2014