This technical report is an appendix to a paper Gaetana Sapienza, Ivica Crnkovic, Tiberiu Seceleanu, Modelling for hardware and software deployment based on multiple properties selection, 2012 The report contains (1) a full specification of a embedded component-based system model using in MultiPart approach, and (2) a full specification of the Wind Turbine controller model generated by Simulink.