@article{bibliotecadigitalicesi10906/83099,
title =    {Automated reasoning for derivation of model-driven SPLs},
year =    {2010},
}