TITLE     : A story about formal methods adoption by a railway signaling Manufacturer
AUTHOR(S) : Bacherini S, Fantechi A, Tempestini M, Zingoni N
TYPE      : Journal article
YEAR      : 2006
CODE      : 43856

*** DO NOT EDIT THIS FILE ***