ReverseNICE: A Re-Engineering Methodology and Supporting Tool. - Marco Battaglia; Giancarlo Savoia (Ada-Europe, 1995)

RENAISSANCE: A Method to Migrate from Legacy to Immortal Software Systems. - Marco Battaglia; Giancarlo Savoia; John M. Favaro (CSMR, 1998)

Dependability analysis in the early phases of UML-based system design. - Andrea Bondavalli; Mario Dal Cin; Diego Latella; István Majzik; András Pataricza; Giancarlo Savoia (Comput. Syst. Sci. Eng., 2001)