@article{stievenart2019general,
  author: {Quentin Sti{\'{e}}venart and Jens Nicolay and Wolfgang De Meuter and Coen De Roover},
  title: {A general method for rendering static analyses for diverse concurrency models modular},
  journal: {J. Syst. Softw.},
  volume: {147},
  pages: {17--45},
  year: {2019},
  url: {https://doi.org/10.1016/j.jss.2018.10.001},
  doi: {10.1016/j.jss.2018.10.001},
}