High-level modelling requirements

Summary
Technical report consolidating the results of Tasks 3.1, 3.2 and 3.3.