ASFM Language Definition

Summary
D3.1 defines the ASFM language. D3.1 is the main result of T3.1. ASFM descriptions are the input of task 3.2, the output of task 3.3, and the input/output of tasks 3.4 and 3.5. This report will contain the details of the universal part common to all WP3 tools and the main concepts of the part specific to each tool.