Fault tree synthesis from UML models for reliability analysis at early design stages · Study