k2Q: A Quadratic-Form Response Time and Schedulability Analysis Framework for Utilization-Based Analysis | IEEE Conference Publication | IEEE Xplore