Structured Object-Oriented Formal Language and Method : 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers - Liu, Shaoying; Duan, Zhenhua; Liu, Ai (Cham Springer International Publishing AG, 2023)