ARMS: An Analysis Framework for Mixed Criticality Systems | IEEE Conference Publication | IEEE Xplore