Model transformation requirements

Model transformation requirements. It contains: (1) Identification of WP2 requirements to capture functional and non-functional constraints, (2) analysis of state-of-the-art synthesis tools.