Rana S, Saeed M. PCTLHS-Matrix, Time-based Level Cuts, Operators, and unified time-layer health state Model. NSS [Internet]. 2022Aug.1 [cited 2023Jun.10];51:455-71. Available from: https://fs.unm.edu/NSS2/index.php/111/article/view/2578