Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints. ter Beek, M. H., Fantechi, A., Gnesi, S., & Mazzanti, F. J. Log. Algebraic Methods Program., 85(2):287–315, 2016.
Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints [link]Paper  doi  bibtex   
@article{DBLP:journals/jlp/BeekFGM16,
    author = "ter Beek, Maurice H. and Fantechi, Alessandro and Gnesi, Stefania and Mazzanti, Franco",
    title = "Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints",
    journal = "J. Log. Algebraic Methods Program.",
    volume = "85",
    number = "2",
    pages = "287--315",
    year = "2016",
    url = "https://doi.org/10.1016/j.jlamp.2015.11.006",
    doi = "10.1016/J.JLAMP.2015.11.006",
    timestamp = "Tue, 16 Feb 2021 00:00:00 +0100",
    biburl = "https://dblp.org/rec/journals/jlp/BeekFGM16.bib",
    bibsource = "dblp computer science bibliography, https://dblp.org"
}

Downloads: 0