Verification of railway network models with EVEREST. - João Martins; José M. Fonseca 002; Rafael Costa; José Creissac Campos; Alcino Cunha; Nuno Macedo 001; José N. Oliveira (MoDELS, 2022)