S. . Rana and M. . Saeed, “PCTLHS-Matrix, Time-based Level Cuts, Operators, and unified time-layer health state Model.”, NSS, vol. 51, pp. 455-471, Aug. 2022.