Formalization of design patterns for security and dependability. - Cuauhtemoc Castellanos; Thomas Vergnaud; Etienne Borde; Thomas Derive; Laurent Pautet (ISARCS, 2013)

Automatic Production of Transformation Chains Using Structural Constraints on Output Models. - Cuauhtemoc Castellanos; Etienne Borde; Laurent Pautet; Thomas Vergnaud; Thomas Derive (EUROMICRO-SEAA, 2014)