Li Y, Chen Z. A Study on the PRISM-Based Scheduling Model for Multi-Constrained Systems. HSET. 2025;155:172-181. doi:10.54097/9w5e3466