Feature diagram formalization based on directed hypergraphs | Publicación