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 January 21, 2026. https://fs.unm.edu/nss8/index.php/111/article/view/2578.