TITLE     : Model-based development and formal methods in the railway industry
AUTHOR(S) : Ferrari A, Fantechi A, Gnesi S, Magnani G
TYPE      : Journal article
YEAR      : 2013
CODE      : 277334

*** DO NOT EDIT THIS FILE ***