Andrea Bondavalli Manuela Nelli Luca Simoncini Giorgio Mongardi Hierarchical modelling of complex control systems: dependability analysis of a railway interlocking. 249-261 2001 16 Comput. Syst. Sci. Eng. 4 db/journals/csse/csse16.html#BondavalliNSM01