@article{DBLP:journals/tse/GuerraLCS22,
  author       = {Esther Guerra and Juan de Lara and Marsha Chechik and Rick Salay},
  title        = {Property Satisfiability Analysis for Product Lines of Modelling Languages},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {48},
  number       = {2},
  pages        = {397--416},
  year         = {2022},
  url          = {https://doi.org/10.1109/TSE.2020.2989506},
  doi          = {10.1109/TSE.2020.2989506},
}