k2U: A General Framework from k-Point Effective Schedulability Analysis to Utilization-Based Tests | IEEE Conference Publication | IEEE Xplore