TITLE     : Experimenting with formal verification and model-based development in railways: the case of UMC and Sparx Enterprise Architect
AUTHOR(S) : Basile D, Mazzanti F, Ferrari A
TYPE      : Conference article
YEAR      : 2023
CODE      : 485279

*** DO NOT EDIT THIS FILE ***