TITLE     : Hierarchical modelling of complex control systems: dependability analysis of a railway interlocking
AUTHOR(S) : Bondavalli A., Nelli M., Simoncini L., Mongardi G.
TYPE      : Journal article
YEAR      : 2000
CODE      : 406938

*** DO NOT EDIT THIS FILE ***