Authors: Bondavalli, A Nelli, M Simoncini, L Mongardi, G

Citation: A. Bondavalli et al., Hierarchical modelling of complex control systems: dependability analysis of a railway interlocking, COMP SYS SC, 16(4), 2001, pp. 249-261