Model-based assurance evidence management for safety–critical systems | Publicación