Quasi-Static Scheduling for Deterministic Timed Concurrent Models on Multi-Core Hardware. - Lin, Shaokai; Jellum, Erling; Theile, Mirco; Tanneberger, Tassilo; Sun, Binqi; Jerad, Chadlia; Xu, Yimo; Feng, Guangyu; Mæhlum, Magnus; Chen, Jian-Jia; Schoeberl, Martin; Phan, Linh Thi Xuan; et al. (ACM Transactions on Embedded Computing Systems, 2025)