TITLE     : Survey on formal methods and tools in railways: the ASTRail approach
AUTHOR(S) : Ferrari A, Ter Beek Mh, Mazzanti F, Basile D, Fantechi A, Gnesi S, Piattino A, Trentini D
TYPE      : Conference article
YEAR      : 2019
CODE      : 403121

*** DO NOT EDIT THIS FILE ***