Rana, S. .; Saeed, M. . PCTLHS-Matrix, Time-Based Level Cuts, Operators, and Unified Time-Layer Health State Model. Neutrosophic Sets Syst. 2022, 51, 455-471.