Thready: A fast scheduling simulator for real-time task systems | IEEE Conference Publication | IEEE Xplore