TITLE     : Adopting Formal Methods in an Industrial Setting: The Railways Case
AUTHOR(S) : Ter Beek Mh, Boraelv A, Fantechi A, Ferrari A, Gnesi S, Loefving C, Mazzanti F
TYPE      : Conference article
YEAR      : 2019
CODE      : 411164

*** DO NOT EDIT THIS FILE ***