gmvBRA VB as engineering, analysis and validation platform for SBAS Systems. - Oriol Escrigas; Carlos Cuesta-Martínez; Julián Barrios; Javier Arenas; Eric Arnal; Begoña Ochoa (ENC, 2020)