Model-Driven Assessment of Use Cases for Dependable Systems | Publicación