@article{10.1109/SPLC.2008.45,
author = {Stefania Gnesi, and Alessandro Fantechi, },
title = {Formal Modeling for Product Families Engineering},
journal = {Software Product Line Conference, International},
volume = {00},
number = {},
issn = {},
year = {2008},
pages = {193-202},
doi = {doi.ieeecomputersociety.org/10.1109/SPLC.2008.45},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}