@misc{indiciae572443c3e380,
  title = {Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering},
  author = {Julia Rubin and Thomas Thüm},
  year = {2016},
  doi = {10.4204/eptcs.206},
  url = {https://arxiv.org/abs/1603.08577},
  note = {Source identifier: 1603.08577}
}