Feature Diagram Formalization Based on Directed Hypergraphs Miguel A. Laguna; José M. Marqués; Guillermo Rodríguez-Cano — 2011 Computer Science and Information Systems