Exact schedulability analysis for single-rate periodic cyclic executives for a refined system model | IEEE Conference Publication | IEEE Xplore