TITLE     : Hierarchical Modelling of HW/SW Control Systems: an Application to Dependability Analysis of Railway Interlocking
AUTHOR(S) : Nelli M., Bondavalli A., Simoncini L.
TYPE      : Other
YEAR      : 1996
CODE      : 446402

*** DO NOT EDIT THIS FILE ***