Enhanced IP-XACT Platform Descriptions for Automatic Generation from UML/MARTE of Fast Performance Models for DSE | IEEE Conference Publication | IEEE Xplore