Rana, S. ., and M. . Saeed. “PCTLHS-Matrix, Time-Based Level Cuts, Operators, and Unified Time-Layer Health State Model.”. Neutrosophic Sets and Systems, vol. 51, Aug. 2022, pp. 455-71, http://fs.unm.edu/NSS2/index.php/111/article/view/2578.