TITLE     : Twenty-Five Years of Formal Methods and Railways: What Next?
AUTHOR(S) : Fantechi A
TYPE      : Contribution to book
YEAR      : 2014
CODE      : 302181

*** DO NOT EDIT THIS FILE ***