A Model-Based ESL HW/SW Co-Design Framework for Mixed Criticality Systems