@misc{indiciaef43fb8014fe5,
  title = {Compositional Verification of Evolving Software Product Lines},
  author = {Jean-Vivien Millo and S. Ramesh and Shankara Narayanan Krishna and Ganesh Khandu Narwane},
  year = {2012},
  url = {https://arxiv.org/abs/1212.4258},
  note = {Source identifier: 1212.4258}
}