Rana, S. and Saeed, M. 2022. PCTLHS-Matrix, Time-based Level Cuts, Operators, and unified time-layer health state Model. Neutrosophic Sets and Systems. 51, (Aug. 2022), 455-471.