Raphaël BeamonteNaser Ezzati-JivanMichel R. DagenaisAutomated Generation of Model-Based Constraints for Common Multi-core and Real-Time Applications Using Execution Tracing.104-134202149Int. J. Parallel Program.1https://doi.org/10.1007/s10766-020-00689-5db/journals/ijpp/ijpp49.html#BeamonteJD21