Safety Analysis of a Certifiable Air Data System Based on Synthetic Sensors for Flow Angle Estimation