@misc{indiciae8e31e593c2db,
  title = {Verification for Reliable Product Lines},
  author = {Maxime Cordy and Patrick Heymans and Pierre-Yves Schobbens and Amir Molzam Sharifloo and Carlo Ghezzi and Axel Legay},
  year = {2013},
  url = {https://arxiv.org/abs/1311.1343},
  note = {Source identifier: 1311.1343}
}