Patrick Heymans Pierre-Yves Schobbens Jean-Christophe Trigaux Yves Bontemps Raimundas Matulevicius Andreas Classen Evaluating formal properties of feature diagram languages. 281-302 2008 2 IET Software 3 http://dx.doi.org/10.1049/iet-sen:20070055 db/journals/iee/iet-s2.html#HeymansSTBMC08