@article {IOPORT.50206678,
    author       = {Segura, Sergio and Benavides, David and Cort\'es, Antonio Ruiz},
    title        = {Functional testing of feature model analysis tools: a test suite},
    year         = {2011},
    journal      = {IET Software},
    volume       = {5},
    number       = {1},
    pages        = {70-82},
    doi          = {10.1049/iet-sen.2009.0096},
    identifier   = {50206678},
}