Supporting pattern-based dependability engineering via model-driven development: Approach, tool-support and empirical validation | Publicación