Rana, Shazia, and Muhammad Saeed. “PCTLHS-Matrix, Time-Based Level Cuts, Operators, and Unified Time-Layer Health State Model”. Neutrosophic Sets and Systems 51 (August 1, 2022): 455–471. Accessed July 4, 2025. https://fs.unm.edu/nss8/index.php/111/article/view/2578.