Dependability Modeling and Analysis of Complex Control Systems: An Application to Railway Interlocking. - Manuela Nelli; Andrea Bondavalli; Luca Simoncini (EDCC, 1996)

Analytical Modelling and Evaluation of Phased-Mission Systems for Space Applications. - Andrea Bondavalli; Ivan Mura; Manuela Nelli (HASE, 1997)

Hierarchical modelling of complex control systems: dependability analysis of a railway interlocking. - Andrea Bondavalli; Manuela Nelli; Luca Simoncini; Giorgio Mongardi (Comput. Syst. Sci. Eng., 2001)