Shiva Nejati, Stefano Di Alesio, Mehrdad Sabetzadeh, Lionel C. Briand: Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing. MoDELS 2012: 759-775