TITLE     : Adoption of model-based testing and abstract interpretation by a railway signalling manufacturer
AUTHOR(S) : Ferrari A, Magnani Gianluca, Grasso Daniele, Fantechi A, Tempestini Matteo
TYPE      : Contribution to book
YEAR      : 2013
CODE      : 353988

*** DO NOT EDIT THIS FILE ***