Stefania Gnesi, Alessandro Fantechi, "Formal Modeling for Product Families Engineering", Software Product Line Conference, International vol. 00 no. , p. 193-202, , 2008