Family-Based Model Checking of SPL based on mCRL2. - Ziad Ben Snaiba; Erik P. de Vink; Tim A. C. Willemse (SPLC (B), 2017)