Mixed-Criticality Control System with Performance and Robustness Guarantees | IEEE Conference Publication | IEEE Xplore