TITLE     : Adoption of model-based testing and abstract interpretation by a railway signalling manufacturer
AUTHOR(S) : Ferrari A, Magnani G, Grasso D, Fantechi A, Tempestini M
TYPE      : Journal article
YEAR      : 2011
CODE      : 199522

*** DO NOT EDIT THIS FILE ***