Situation modeling and evaluation for complex systems: A case study of satellite attitude control system. - Jintao Wang; Yulong Yin; Jiayi Qu; Huaiqi Chen; Xiaohui Lian (Adv. Eng. Informatics, 2024)