João Martins, José M. Fonseca 0002, Rafael Costa, José Creissac Campos, Alcino Cunha, Nuno Macedo, José N. Oliveira. Verification of railway network models with EVEREST. In Eugene Syriani, Houari A. Sahraoui, Nelly Bencomo, Manuel Wimmer, editors, Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022. pages 345-355, ACM, 2022. [doi]
Abstract is missing.