CONTREX: Design of embedded mixed-criticality CONTRol systems under consideration of EXtra-functional properties