@conference{DBLP:conf/splc/BeekLP13, author = "ter Beek, Maurice H. and Alberto Lluch-Lafuente and Marinella Petrocchi", booktitle = "SPLC Workshops", crossref = "DBLP:conf/splc/2013w", note = "Partners CNR; Projects Nessos, Aniketos, Cina, Quanticol, Ascens, no tier, citations 4", pages = "10-17", title = "{C}ombining declarative and procedural views in the specification and analysis of product families", year = "2013", }