TITLE     : Family-based SPL model checking using parity games with variability
AUTHOR(S) : Ter Beek Mh, Van Loo S, De Vink Ep, Willemse Tac
TYPE      : Conference article
YEAR      : 2020
CODE      : 420348

*** DO NOT EDIT THIS FILE ***