Rana S, Saeed M. PCTLHS-Matrix, Time-based Level Cuts, Operators, and unified time-layer health state Model. Neutrosophic Sets Syst. [Internet]. 2022 Aug. 1 [cited 2025 May 18];51:455-71. Available from: https://fs.unm.edu/nss8/index.php/111/article/view/2578