Zelin Tong, Syed W. Ali, James H. Anderson: Asymptotically Optimal Multiprocessor Real-Time Locking for non-JLFP Scheduling. RTAS 2025: 1-12