Cuauhtemoc Castellanos, Thomas Vergnaud, Etienne Borde, Thomas Derive, Laurent Pautet: Formalization of design patterns for security and dependability. ISARCS 2013: 17-26