Multiformalism and Transformation Inheritance for Dependability Analysis of Critical Systems. - Stefano Marrone 001; Camilla Papa; Valeria Vittorini (IFM, 2010)

Model-Driven Availability Evaluation of Railway Control Systems. - Simona Bernardi 001; Francesco Flammini; Stefano Marrone 001; José Merseguer; Camilla Papa; Valeria Vittorini (SAFECOMP, 2011)