% This needs to test for all cases d=4k+1,4k+2,4k+3,4k+4, as well as the % negation of the phase factors to verify the conjugation relation.
Abstract: In Mixed-Criticality (MC) systems, there are often multiple Worst-Case Execution Times (WCETs) for the same task, corresponding to system operation mode. Determining the appropriate WCETs ...