Family-Based SPL Model Checking Using Parity Games with Variability. - Maurice H. ter Beek; Sjef van Loo; Erik P. de Vink; Tim A. C. Willemse (FASE, 2020)