Automatic Dependability Modelling of Systems Described in UML