Model-based specification of safety compliance needs for critical systems: A holistic generic metamodel | Publicación