Monitoring and Mitigation of Ionospheric Anomalies for GNSS-Based Safety Critical Systems