Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti. Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints. Journal of Logic and Algebraic Programming, 85(2):287-315, 2016. [doi]
Abstract is missing.