GBAS heavy-tail error overbounding with GARCH model | IEEE Conference Publication | IEEE Xplore