A framework for the generation from UML/MARTE models of IPXACT HW platform descriptions for multi-level performance estimation | IEEE Conference Publication | IEEE Xplore