R. Beamonte, N. Ezzati-Jivan, and M. R. Dagenais, "Automated Generation of Model-Based Constraints for Common Multi-core and Real-Time Applications Using Execution Tracing," International Journal of Parallel Programming, vol. 49, no. 1, pp. 104-134, 2021, doi: 10.1007/s10766-020-00689-5