publicações selecionadas artigo de revista Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum. Computational Methods in Applied Sciences. 2019
