ter Beek, Maurice H. and Lluch-Lafuente, Alberto and Petrocchi, Marinella Combining Declarative and Procedural Views in the Specification and Analysis of Product Families. Working Paper (Submitted)