S. . Rana and M. . Saeed, “PCTLHS-Matrix, Time-based Level Cuts, Operators, and unified time-layer health state Model”., Neutrosophic Sets Syst., vol. 51, pp. 455–471, Aug. 2022, Accessed: Nov. 08, 2025. [Online]. Available: https://fs.unm.edu/nss8/index.php/111/article/view/2578