Li, Yujie, and Zhengsheng Chen. “A Study on the PRISM-Based Scheduling Model for Multi-Constrained Systems”. Highlights in Science, Engineering and Technology, vol. 155, Sept. 2025, pp. 172-81, https://doi.org/10.54097/9w5e3466.