Liu, Shaoying, Zhenhua Duan, and Ai Liu. <i>Structured Object-oriented Formal Language and Method : 11th International Workshop, Sofl+msvl 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers.</i> First edition. Cham, Switzerland: Springer, 2023.