Y. Li and Z. Chen, “A Study on the PRISM-Based Scheduling Model for Multi-Constrained Systems”, HSET, vol. 155, pp. 172–181, Sep. 2025, doi: 10.54097/9w5e3466.