Some Studies on Performability Analysis of Safety Critical Systems. - Shakeel Ahamad; Ratneshwer (Comput. Sci. Rev., 2021)