Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints.
Maurice H. ter BeekAlessandro FantechiStefania GnesiFranco MazzantiPublished in: J. Log. Algebraic Methods Program. (2016)