@misc{indiciaedd2ea86167e6,
  title = {Applying Declarative Analysis to Software Product Line Models: An Industrial Study},
  author = {Ramy Shahin and Robert Hackman and Rafael Toledo and Ramesh S and Joanne M. Atlee and Marsha Chechik},
  year = {2021},
  url = {https://arxiv.org/abs/2107.07690},
  note = {Source identifier: 2107.07690}
}