selected publications conference paper Generating MARTE allocation models from activity threads. . 2008