Fault modeling and injection in vital descriptions | Publicación