Stefano Marrone, Camilla Papa, Valeria Vittorini. Multiformalism and transformation inheritance for dependability analysis of critical systems.
Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.215-228.
⟨inria-00525179⟩