Efficient performance estimation for general real-time task systems | IEEE Conference Publication | IEEE Xplore