CONTREX: Design of Embedded Mixed-Criticality CONTRol Systems under Consideration of EXtra-Functional Properties | IEEE Conference Publication | IEEE Xplore