Report on formal model

The report describes formal knowledge representation of the performance model. It provides its capabilities and expressive power. It includes parametrization and further extension guidelines. Amendment 2016: The shift is in order to align D3.4 with task 3.3.1. The alignment is necessary since results of task 3.3.1 will become part of D3.4. The amendment does not influence any other tasks or deliverables.