Enforcing schedulability of multi-task systems by hardware-software codesign | IEEE Conference Publication | IEEE Xplore