ASTRA: An Integrated Tool Set for Complex Systems Dependability Studies. - Sergio Contini; Stefan Scheer; Marc Wilikens; G. de Cola; G. G. M. Cojazzi (Tool Support for System Specification, Development and Verification, 1998)

On the use of non-coherent fault trees in safety and security studies. - Sergio Contini; G. G. M. Cojazzi; Guido Renda (Reliab. Eng. Syst. Saf., 2008)