A UML profile for dependability analysis of real-time embedded systems | Publicación