ter Beek, Maurice H. and Lluch-Lafuente, Alberto and Petrocchi, Marinella  Combining Declarative and Procedural Views in the Specification and Analysis of Product Families.  In: 4th Int'l Workshop on Formal Methods and Analysis in Software Product Line Eng. (FMSPLE 2013)         (2013)