@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 = {Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, ICSE 2010, Cape Town, South Africa, 1-8 May 2010},
  editor = {Jeff Kramer and Judith Bishop and Premkumar T. Devanbu and Sebastián Uchitel},
  publisher = {ACM},
  isbn = {978-1-60558-719-6},
}

@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 = {Third International Workshop on Variability Modelling of Software-Intensive Systems, Seville, Spain, January 28-30, 2009. Proceedings},
  editor = {David Benavides and Andreas Metzger and Ulrich W. Eisenecker},
  volume = {29},
  series = {ICB Research Report},
  publisher = {Universität Duisburg-Essen},
}

@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 = {14th IEEE International Conference on Requirements Engineering (RE 2006), 11-15 September 2006, Minneapolis/St.Paul, Minnesota, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2555-5},
}