Case studies introduction: level of automation analysis and certification issues

Description of the case studies addressed by the project, focussed in particular, on level of automation and operational impact of the ATM-related systems taken into account and on the associated certification issues.