Generating MARTE allocation models from activity threads | IEEE Conference Publication | IEEE Xplore