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

*** DO NOT EDIT THIS FILE ***