Model-driven engineering methodology for design space exploration of embedded systems