@article{ezzatiJivan2021automatedgeneration,
  author = {Raphael Beamonte and Naser Ezzati-Jivan and Michel R. Dagenais},
  title = {Automated Generation of Model-Based Constraints for Common Multi-core and Real-Time Applications Using Execution Tracing},
  year = {2021},
  journal = {International Journal of Parallel Programming},
  volume = {49},
  number = {1},
  pages = {104-134},
  publisher = {Springer Science and Business Media LLC},
  issn = {0885-7458, 1573-7640},
  doi = {10.1007/s10766-020-00689-5},
  url = {https://doi.org/10.1007/s10766-020-00689-5}
}