Verification of Scheduling Properties Based on Execution Traces. - Nicolas, Valérie-Anne; Lallali, Mounir; Rubini, Stéphane; Singhoff, Frank (Ada User Journal, 2018)