Regardless, a single GPS failure shouldn't cause a plane crash. Civil aviation is known for its redundancy.