Automated Generation of Model-Based Constraints for Common Multi-core and Real-Time Applications Using Execution Tracing 2021-01-01
Detection of Common Problems in Real-Time and Multicore Systems Using Model-Based Constraints 2016-03-16