TITLE     : Model based testing and abstract interpretation in the railway signaling context
AUTHOR(S) : Grasso D, Fantechi A, Ferrari A, Becheri C, Bacherini S
TYPE      : Conference article
YEAR      : 2010
CODE      : 92141

*** DO NOT EDIT THIS FILE ***