First SBAS-FMS Installed on ATR 42-500 Aircraft