RAD-FETCH : Modeling Prefetching for Hard Real-Time Tasks