[bArray]

In the UK "GPS" is used as a general term for GNSS. I don't doubt that the aircraft already use multiple satellites.