Rana S, Saeed M. PCTLHS-Matrix, Time-based Level Cuts, Operators, and unified time-layer health state Model. Neutrosophic Sets Syst. 2022;51:455-471. Accessed November 15, 2025. https://fs.unm.edu/nss8/index.php/111/article/view/2578