gmvBRA VB as engineering, analysis and validation platform for SBAS Systems | IEEE Conference Publication | IEEE Xplore