Using a polymorphic VLIW processor to improve schedulability and performance for mixed-criticality systems | IEEE Conference Publication | IEEE Xplore