Research on the Safety Assurance Framework for Spacecraft Embedded Software. - Weirui Shang; Jihong Dang; Yao Chen; Xiaofeng Li; Xiaogang Dong (ICSED, 2023)