Dependable Software Engineering. Theories, Tools, and Applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings - Qin, Shengchao; Woodcock, Jim; Zhang, Wenhui (Cham Springer International Publishing AG, 2021)