Advances in Artefact Quality Analysis for Safety-Critical Systems | Publicación