The COMPLEX Eclipse framework for UML/MARTE specification and design space exploration of embedded systems | IEEE Conference Publication | IEEE Xplore