Recent Advances towards the Industrial Application of Model-Driven Engineering for Assurance of Safety-Critical Systems | Publicación