TITLE     : Experimenting with diversity in the formal development of railway signalling systems
AUTHOR(S) : Fantechi A, Gnesi S, Lombardi G
TYPE      : Journal article
YEAR      : 2008
CODE      : 68446

*** DO NOT EDIT THIS FILE ***