Mazzara, Manuel   Deriving Specifications of Dependable Systems: toward a Method.  EWDC 2009 .