@inproceedings{ClassenHSLR10,
  title = {Model checking lots of systems: efficient verification of temporal properties in software product lines},
  author = {Andreas Classen and Patrick Heymans and Pierre Yves Schobbens and Axel Legay and Jean-François Raskin},
  year = {2010},
  doi = {10.1145/1806799.1806850},
  url = {http://doi.acm.org/10.1145/1806799.1806850},
  tags = {software product lines, model checking, meta-model, Variability-Aware Analysis, analysis, context-aware, Meta-Environment},
  researchr = {https://researchr.org/publication/ClassenHSLR10},
  cites = {0},
  citedby = {0},
  pages = {335-344},
  booktitle = {ICSE},
}

@inproceedings{SavalPHM09,
  title = {Some Challenges of Feature-based Merging of Class Diagrams},
  author = {Germain Saval and Jorge Pinna Puissant and Patrick Heymans and Tom Mens},
  year = {2009},
  url = {http://www.vamos-workshop.net/proceedings/VaMoS_2009_Proceedings.pdf},
  tags = {feature diagrams, rule-based},
  researchr = {https://researchr.org/publication/SavalPHM09},
  cites = {0},
  citedby = {0},
  pages = {127-136},
  booktitle = {vamos},
}

@inproceedings{SchobbensHT06,
  title = {Feature Diagrams: A Survey and a Formal Semantics},
  author = {Pierre Yves Schobbens and Patrick Heymans and Jean-Christophe Trigaux},
  year = {2006},
  doi = {10.1109/RE.2006.23},
  url = {http://doi.ieeecomputersociety.org/10.1109/RE.2006.23},
  tags = {feature diagrams, semantics, formal semantics, survey},
  researchr = {https://researchr.org/publication/SchobbensHT06},
  cites = {0},
  citedby = {0},
  pages = {136-145},
  booktitle = {RE},
}