Mian, Z., Jia, S., Shi, X., Tang, C., Chen, J., & Gao, Y. (2020, December). A Model-based RCM Analysis Method. Presented at 2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C), Macau, China