The schedulability region of two-level mixed-criticality systems based on EDF-VD | IEEE Conference Publication | IEEE Xplore