Schedulability analysis of a graph-based task model for mixed-criticality systems