Interference Constraint Graph — A new specification for mixed-criticality systems | IEEE Conference Publication | IEEE Xplore